If, like me, you find yourself working from home occasionally flipping the proxy setting on and off for GIT becomes tiresome.
So here's a snippet to give you two new GIT commands for setting and resetting the http.proxy setting that GIT uses.
git config --global alias.noproxy 'config --global --unset http.proxy'
git config --global alias.setproxy 'config --global http.proxy http://<proxyUrl>:<proxyPath>'
Now you can just use 'git noproxy' when at home to turn the proxy off and 'git setproxy' when you're back in the office.
