Git push 使用代理推送代码

因为墙的存在，推送代码到 Github 常常连接不上，这种情况下，可使用代理进行推送：

git config --global http.proxy http://127.0.0.1:8580
git config --global https.proxy http://127.0.0.1:8580

--global 会全局生效。要解除代理

git config --global --unset http.proxy
git config --global --unset https.proxy