github push pull error port 443: Timed out

最近github只有开代理才能打开，但是即使能打开，进行push或者pull会经常报类似error port 443: Timed out的错误，网上搜了很久才找到解决办法。

首先要查询当前本机使用的代理服务器IP地址。打开IE浏览器，点击工具->internet选项->连接->局域网设置->代理服务器上写的地址就是就是当前使用的ip地址。

然后执行git命令：

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

其中127.0.0.1:9666是代理服务器的IP地址和端口号。

如果将来想取消git的代理服务器地址，可以执行命令

git config --global --unset http.proxy http://127.0.0.1:9666
git config --global --unset http.proxy https://127.0.0.1:9666