github port 443 Timed out

最近在本地pull远程库时，经常遇到 Failed to connect to github.com port 443: Timed out问题。

我一开始以为是哪里操作失误了。反复查找却找不出哪里出错了，最后我想了想网络超时会不会是因为github是在国外的，网络本身就不是很好。于是我把目标放在了网络上。

我重复执行了pull命令，在失败了好几次，终于有一次pull成功了。

总结：port 443 Timed out问题可能是网络原因造成的，毕竟github服务器是在墙外的。想要完全避免这种问题发生，我们也许需要再搭个代理服务器对此进行代理，不然这个网络问题很难解决。