error-fix-log
Fixes in January 2023
Git push taking too long to ask for ssh password (only for hostel wifi)