proxyの背後からgithubなどのインターネット上のgitサーバにアクセスするためのproxy設定にはgit configコマンド等を使用する.
git config --global http.proxy http://{proxy host name}:{port num}
git config --global https.proxy https://{proxy host name}:{port num}
結果、~/.gitconfigに以下の行が追加される。
[http]
proxy = http://{proxy host name}:{port num}
[https]
proxy = https://{proxy host name}:{port num}