BSODs Notebook

Linux admin stuff and other shenanigans

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"}