[ git ] にもプロキシの設定が必要なのでその旨記載。 git config --global http.proxy http://IPアドレス:ポート番号/ git config --global http.proxy https://IPアドレス:ポート番号/ git config --global url."https://".insteadOf git:// で、configを書き換える。