accessing github over port 443

Developer from somewhere

Added the following to .ssh/config, cause 22 was blocked by the network firewall:

Host github-work
  HostName ssh.github.com
  IdentityFile path_to_key
  User your_username
  Port 443