记录一次git pull速度慢的解决过程，防止日后不记得改了什么
解决方法
解决方法主要是来自于一个知乎提问，涉及到的几个回答Khej-Trhyk的回答、风木草的回答、陈布衣的回答。
具体措施：
- 给git设置http代理
git config --global http.proxy http://localhost:7897
这里我的端口是7897
- 给git设置ssh代理
具体操作见：陈布衣的回答。
在
config文件里写上一行就行：ProxyCommand "C:\Program Files\Git\mingw64\bin\connect.exe" -S 127.0.0.1:1080 %h %p
这里我的代理地址是127.0.0.1:7897
- 给git配置postBuffer
git config --global http.postBuffer 524288000
猜测导致git pull缓慢的原因
git默认不走系统代理，所以需要配置git的http和ssh代理。此外配置了postBuffer，据说能提高有大量的小文件的代码库传输效率。
按上面三个方案修改之后，我的两个协议拉取速度都在5 MB/s以上。速度够用了，因此没有更改镜像源。