GitHub behind the evil corporate firewall

Thanks to github providing git using port 443, because it is mostly open.

Simple and efficient, create an ssh alias

> cat ~/.ssh/config
Host github
User git
Port 443
Hostname ssh.github.com

edit the file .git/config into your project :

...
[remote "github"]
url = git@github:user/Project.git
fetch = +refs/heads/*:refs/remotes/github/*