sudo apt-get install corkscrew
Host github.com User git HostName ssh.github.com Port 443 ProxyCommand corkscrew {proxy} {port} %h %p
http://petitesnouvelles.wordpress.com/2009/04/10/github-behind-a-proxy/