Github

SSH push to github behind firewall

Host github.com
  HostName ssh.github.com
  Port 443
  IdentityFile ~/.ssh/github