为 git 的远程访问设置代理
GitHub被墙得厉害，要成功push到github已是过去。看来随时都得把梯子带上了，不然怎么死的都不知道。。。
有至少两种设置代理的办法。一种是设置 http_proxy, https_proxy, all_proxy 用户（系统）环境变量来做到。我不太喜欢这样的，因为一旦设置，所以支持代理的网络程序全部都跑代理了，不是我想要的。我只需要为git设置就行了，也就是下面的第二种办法。
这种办法通过设置 git 配置 http(s).proxy 来做到。比如像下面这样。
git config --global http.proxy socks5://127.0.0.1:5820 git config --global https.proxy socks5://127.0.0.1:5820 git config --global http.proxy http://127.0.0.1:5821 git config --global https.proxy http://127.0.0.1:5821
至于参数的范围是 `--global`（当前用户） 还是 `--system`（整个系统） 抑或是省略（当前仓库），就看自己所需了。
更详细的帮助还请参考 git 的帮助文档：git config --help。
虽然网站访问有时候不会抽风，但我还是始终启用了代理，相当的稳定。