GitHub Enterprise Server users: Accessing GitHub Enterprise Server via SSH over the HTTPS port is currently not supported.
To test if SSH over the HTTPS port is possible, run this SSH command:
$ ssh -T -p 443 email@example.com > Hi username! You've successfully authenticated, but GitHub does not > provide shell access.
If that worked, great! If not, you may need to follow our troubleshooting guide.
If you are able to SSH into
firstname.lastname@example.org over port 443, you can override your SSH settings to force any connection to GitHub.com to run through that server and port.
To set this in your SSH configuration file, edit the file at
~/.ssh/config, and add this section:
Host github.com Hostname ssh.github.com Port 443 User git
You can test that this works by connecting once more to GitHub.com:
$ ssh -T email@example.com > Hi username! You've successfully authenticated, but GitHub does not > provide shell access.