最近基于 PDFium 项目做一些东西。之前得了代码，今天想要更新到最新的，发现怎么都 pull 不下来。后来想起来，可能是 git 没有使用代理的原因。于是添加代理，果然更新成功。

在 git bash 中输入：

git config --global http.proxy http://proxy.example.com:8888

再 pull 就OK了。

要取消代理，请输入：

git config --global --unset http.proxy