问题
I tried to pull repository so that I can merge the changes made to my repository.
But while using the pull command it gives following error:
$ 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
I tried setting the http proxy but no change.push command worked perfectly fine but error with pull command.
Any suggestions?
回答1:
I had the same issue because I forgot to remove my proxy configuration on Git.
git config --global http.proxy
If it returns something you have to unset the value with the following command :
git config --global --unset http.proxy
There is a lot of way to set a proxy for git and maybe this is not the good one. You can also check your environment variable.
echo $http_proxy
After that, it should works
回答2:
Why are you using https?
For private repo on GitHub, you would use (as shown here):
git clone https://username@github.com/username/project.git
But for a public repo, a simple:
git clone http://github.com/username/project.git
should be enough.
来源：https://stackoverflow.com/questions/5102361/pull-command-error-failed-connect-to-github-com8080