配置git代理服务器设置

git不会读取和使用环境变量中的http_proxy和https_proxy来配置代理服务器，因此需要使用额外的git配置启用代理服务器。具体配置如下。

git config --global http.proxy http://{ip}:{port}
git config --global https.proxy http://{ip}:{port}
git config --global https.sslVerify false

第3行可以关掉ssl验证，在遇到证书问题时很有用。