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
должно быть достаточно.