github.com port 443: Timed out g

搬家之后，换了个比较差劲的某城宽带，很多网站访问很慢，就连看看股票行情都慢得要死。今天发现

git pull 直接提示超时，很烦人：

Failed to connect to github.com port 443: Timed out

没办法，只能设置走代理了（没有梯子的自己想办法）

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

7890是代理的端口号，SSR默认是1080