GitHub for Windows をプロキシ経由で使う

git をプロキシ経由で使うための設定はググって分かった。
でもこれだと、自分でローカルに作った新規リポジトリに対してしか設定できなくて、既にGitHub上にあるプロジェクトをどうやってローカルにクローンするのかが分からない。
GitHub for Windows そのもののプロキシ設定をしたい、と。
社内から繋ぎたいんだよ。。

で、Getting git to work with a proxy serverを発見。

Git Shell を起動して、

$ git config --global http.proxy http://proxyserver:proxyport

or

$ git config --global http.proxy http://proxyuser:proxypwd@proxyserver:proxyport

で、既にGitHub上にあるプロジェクトをローカルにクローン出来ました。