Remote Git operations through proxy

If you are like me using Git from behind a firewall and proxy that blocks everything except HTTP, you might want to set the following settings for Git:


// Set proxy for git globally
git config --global http.proxy http://proxy:8080

// To check the proxy settings
git config --get http.proxy

// Just in case you need to you can also revoke the proxy settings
git config --global --unset http.proxy


Source: http://www.vogella.de/articles/Git/article.html#remote_proxy

Happy coding! ;-)