设置git的代理服务器

git项目时，有时速度比较慢，可以设置--depth=1，只要最后一个版本的代码，而不要.git目录中的东西

git clone --depth=1 https://github.com/Project-OSRM/osrm-backend.git

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