Pull command error: Не удалось подключиться к github.com:8080

Я попытался вытащить репозиторий, чтобы я мог объединить изменения, внесенные в мой репозиторий.
Но при использовании команды 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.
Любые предложения?

Ответ 1

У меня была такая же проблема, потому что я забыл удалить конфигурацию прокси-сервера на Git.

git config --global http.proxy

Если он возвращает что-то, вам нужно сбросить значение с помощью следующей команды:

git config --global --unset http.proxy

Существует много способов установить прокси для git, и, возможно, это не очень хорошо. Вы также можете проверить переменную среды.

echo $http_proxy

После этого он должен работать

Ответ 2

Почему вы используете https?

Для частного репо на GitHub вы будете использовать (как показанный здесь):

git clone https://[email protected]/username/project.git

Но для публичного репо просто:

git clone http://github.com/username/project.git

должно быть достаточно.