Git Proxy
git config --global http.proxy http://proxyuser:[email protected]:8080
Annoying Ant
git config --global http.proxy http://proxyuser:[email protected]:8080