最近基于 PDFium 项目做一些东西。之前得了代码，今天想要更新到最新的，发现怎么都 pull 不下来。后来想起来，可能是 git 没有使用代理的原因。于是添加代理，果然更新成功。
在 git bash 中输入：
git config --global http.proxy http://proxy.example.com:8888
再 pull 就OK了。
为 git 添加代理
原文：http://www.cnblogs.com/bbxx111/p/5455665.html
