问题描述
从本地提交代码到 GitHub 远程仓库，由于 DNS 污染的问题，国内提交速度很慢，有时候还报错。笔者自己花钱买了一个梯子，但开启梯子的代理后仍然没有解决问题，不过 Google 等倒是可以访问了。
原因分析
虽然开启了代理，但可能 git push 并没有走代理，因为需要在 git 里面进行配置。
解决方法
配置 git push 直接走网络代理
git config --global http.proxy socks5://127.0.0.1:1080 git config --global https.proxy socks5://127.0.0.1:1080
其中 1080 是 SOCKS 代理的端口，一般默认 1080，可以在代理工具的设置中查看。
下面以Clash for windows为例，进行代理IP和PORT的配置和查询
PORT可以在这里查询
IP可以在这里配置和查询
然后就可以流畅push了！