Jonathan Almeida: SSH access to Github over HTTPS

While using guest wifi during travels, I was trying to fetch some changes from a github remote and my git fetch is over SSH which happens over port 22. Most (TCP?) ports are blocked on public or hotel wifi, so with some help1 I learnt that Github serves SSH over 443 too. A simple ssh config fixes this: Host github.com HostName ssh.github.com Port...