Enabling SSH connections over HTTPS

using-ssh-over-the-https-port

If you are able to SSH into `[email protected]` over port 443, you can override your SSH settings to force any connection to github.com to run though that server and port.

To set this in your ssh config, edit the file at `~/.ssh/config`, and add this section:

    Host github.com
      Hostname ssh.github.com
      Port 443
      
You can test that this works by connecting once more to github.com:

    ssh -T [email protected]
    # Hi username! You've successfully authenticated, but GitHub does not
    # provide shell access.