Future reference, github SSH  can be used over 443: <a href="https:&#x2F;&#x2F;help.github.com&#x2F;articles&#x2F;using-ssh-over-the-https-port&#x2F;" rel="nofollow">https:&#x2F;&#x2F;help.github.com&#x2F;articles&#x2F;using-ssh-over-the-https-po...</a><p>Helpful when 22 is blocked (train stations and such)