Github Behind Walls

What a nice post on Stackoverflow! Just paste the following lines into your .ssh/config file and let SSH redirect to ssh.github.com

Host github.com
  User YourUserName
  Port 443
  Hostname ssh.github.com

And I was actually struggling with https all the time…
pfffffffff,
iss