Я попытался извлечь репозиторий, чтобы объединить изменения, внесенные в мой репозиторий.
Но при использовании команды pull выдается следующая ошибка:
$ git pull https://github.com/ShrutiRuparel/depot.git master
error: Failed connect to github.com:8080;
No error while accessing https://github.com/ShrutiRuparel/depot.git/info/refs
fatal: HTTP request failed
Я попытался установить прокси-сервер http, но ничего не изменилось.
Команда push
работала отлично, но ошибка с командой pull
.
Есть предложения?