解决 Failed to connect to github.com port 443:connection timed out

晕了，今天不知道怎么出现了这个问题

git config --global http.proxy http://127.0.0.1:1080

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

问题得到解决

取消代理

取消全局代理：
git config --global --unset http.proxy

git config --global --unset https.proxy

我也记不清到底是第几次处理这种问题了

failed to connect to github.com port 443

解决方案：先把子切换到全局，然后再取消，接着取消全局代理，最后git pull或者git push

问题的原因到底是啥呢？

时隔多年（2021年3月15日15:19:34），又遇到了这个问题：

（1）取消代理

git config --global --unset http.proxy

git config --global --unset https.proxy

（2）获得成功！