毕业论文的结果跑的又不是很对，故今天想把代码从Github拉下来改改，执行
git pull origin [branch]:[branch]
发现一直卡在哪，第一感觉被墙了？所以测试了一下ssh连接
ssh -T git@github.com
依旧无法连接，过一会儿显示
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。
