Blocked SSH port, GitHub workaround

config

# Put in your ~/.ssh/config

### Problem
#
# You are on a public WiFi network that blocks SSH ports but you don't want to switch 
# to pushing your Github changes to GH remotes via HTTPS nor do you want to change the
# remote hostname in all your repos.

Host github.com
  Hostname ssh.github.com
  Port 443
  User git
  #IdentityFile ~/path/to/key

Awesome. Just what I needed, thank you 👍