Access GitHub repositories from work (take that, firewall!).