ошибка команды pull: не удалось подключиться к github.com:8080

Question

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

Answer 1

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

git config --global http.proxy

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

git config --global --unset http.proxy

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

echo $http_proxy 

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

Answer 2

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

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

git clone https://username@github.com/username/project.git

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

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

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