pull command error : Failed connect to github.com:8080

Question

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?

Answer 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

Answer 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.