設置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