proxyの設定

gitのプロキシ設定は以下でできる。環境変数のhttp_proxyとかは見てくれないんだね。

git config --global http.proxy http://proxy:port
git config --global https.proxy https://proxy:port