I had to get new tires and an oil change. I wanted to use the downtime to get some work done from the Dunkins’ next door. I sat down, with my laptop, attempting to get some coding done from a chair in the corner. I attempted to pull down a repository from GitHub and saw:
ssh: connect to host github.com port 22: Connection timed out
After some Googling, I discovered this solution: https://stackoverflow.com/a/52817036
In short, you can force git access to GitHub repos to an alternate server/port by editing your
Host github.com Hostname ssh.github.com Port 443
After that, I could easily
git pull until my heart’s content!