proxy設定を環境毎に切り替えたいという場合はinclude機能を使えばよさそう。
proxy設定を.gitconfig.localのような別ファイルに定義しておき、それをincludeすればOK。
参考：dotfilsをGitHub管理したいけど.gitconfigには社内proxy情報が…ってときは - Qiita
proxy設定を環境毎に切り替えたいという場合はinclude機能を使えばよさそう。
proxy設定を.gitconfig.localのような別ファイルに定義しておき、それをincludeすればOK。
参考：dotfilsをGitHub管理したいけど.gitconfigには社内proxy情報が…ってときは - Qiita
