gitのproxy越え

[ git ] にもプロキシの設定が必要なのでその旨記載。

git config --global http.proxy http://IPアドレス:ポート番号/
git config --global http.proxy https://IPアドレス:ポート番号/
git config --global url."https://".insteadOf git://

で、configを書き換える。