Git Fixes

help.md

Problem: Git shows:

$ git clone git@ssh.github.com:443/junk-code/spine.git
Cloning into 'spine'...
ssh: Could not resolve hostname ssh.github.com: Name or service not known
fatal: Could not read from remote repository.

Please make sure you have the correct access rights
and the repository exists.

And you have all the rights you want/need.

The host you are on might be blocking SSH connections to github.

The fix is as follows:

Solution:

first, test to see if when you run this command: ssh -T -p 443 git@ssh.github.com you this back:

Hi ${github-username}! You've successfully authenticated, but GitHub does not provide shell access.

If not: See This

Create a file in ~/.ssh/ called config if it does not exist and add the following to it:

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

This allows us to use SSH over a HTTPS port instead of the usual SSH port.