>> Just fyi, airport wifis commonly block vanilla ssh, which requires me to do pushes through tor. > Github has ssh.github.com (IIRC) which accepts SSH on port 443, for exactly this problem. Fair enough, but if anyone asks me then I’ll still tell them how to use ssh over tor since that addresses protocol censorship more broadly. Jeff