Using-SSH-over-the-HTTPS-port

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