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上にあるプロジェクトをローカルにクローン出来ました。