自分のためのメモ。
設定方法
下記コマンドをたたく
$git config --global http.proxy http://proxy.example.com:8080
$git config --global https.proxy http://proxy.example.com:8080
これにより ~/.gitconfigに下記が追加される。
.gitconfig
[http]
proxy = http://proxy.example.com:8080
[https]
proxy = http://proxy.example.com:8080
[url "https://"]
insteadOf = git://