See https://help.github.com/articles/using-ssh-over-the-https-port We should handle `ssh.github.com` specially.