В ответ на git pull/push git shell пишет, что:
"fatal: unable to access '
https://github.com/rep/project.git/': Failed connect to github.com:443; No error",
При этом время от времени срабатывает нормально без ошибок. Таким образом удаётся синхронизироваться раз из попыток 5-6.
Началось всё вчера (полагаю после блокировки роспотребом).
Сайт гитхаба тоже доступен через раз.
Нагугленные инструкции по перенастройке на ssh или использования прокси не помогают.