Git Tricks
disable Proxy for single repository
When everything needs to go over a proxy server except that one internal repository
git config http.proxy ""
ten minutes ago this was still working
git checkout master@{"10 minutes ago"}
Linux admin stuff and other shenanigans
When everything needs to go over a proxy server except that one internal repository
git config http.proxy ""
git checkout master@{"10 minutes ago"}