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?