如何解决连接gethub的问题：Failed to connect to github.com port 443

问题

最近几天一直有这个问题：

Failed to connect to github.com port 443

解决方法

设置get的全局代理：

git config --global http.proxy http://127.0.0.1:7890
git config --global https.proxy http://127.0.0.1:7890

这样就可以了。

附录

查看和修改git的配置的命令：

git config --global --edit

清除git代理的命令：

git config --global --unset http.proxy