git设置代理Failed to connect to github.com port 443: Timed out 参考了这篇博文 git设置代理 解决了Failed to connect to github.com port 443: Timed out问题