Future reference, github SSH can be used over 443: https://help.github.com/articles/using-ssh-over-the-https-po...
Helpful when 22 is blocked (train stations and such)
Helpful when 22 is blocked (train stations and such)
[0]: https://community.openvpn.net/openvpn/wiki/Openvpn23ManPage