Github连接问题：github.com port22 operation timed out

毕业论文的结果跑的又不是很对，故今天想把代码从Github拉下来改改，执行

git pull origin [branch]:[branch]

发现一直卡在哪，第一感觉被墙了？所以测试了一下ssh连接

ssh -T [email protected]

依旧无法连接，过一会儿显示

connect to host github.com port22 operation timed out

于是乎在Github官方帮助找到解决方案

执行

$ vim ~/.ssh/config

然后添加

Host github.com
  Hostname ssh.github.com
  Port 443

重新测试 ssh连接，成功。

失败的原因似乎是有时候会被防火墙禁掉，而因为443是HTTPS的端口，不会被飞掉，所以在进行如上设置后，我们就可以强制与Github的连接都通过HTTPS。