A quick note that I’ve got a very particular proxy at work. Its also an authenticated proxy which gets in the way of a lot of programs that need the Internet.
git allows you to specify a http / https proxy config but not all authenticated proxies work with these.
This blog ‘Accessing git with an authenticated proxy’ explains how to get around that by using a proxy command to launch corkscrew. Its actually quite successful, I already used corkscrew for ssh auth so this wasnt too much config at all.
Just remember to take out your git config for your failed attempts at http.proxy and https.proxy
git config --global --unset http.proxy git config --global --unset https.proxy