GitHub Desktop のプロキシ設定を行う

• Git shell を起動する
• 以下のコマンドを実行する。

$ git config --global http.proxy proxy.foo.com
$ git config --global https.proxy proxy.foo.com

• C:\Users\ユーザー名\.gitconfig に以下のエントリが追加される。

[http]
	proxy = proxy.foo.com:80
[https]
	proxy = proxy.foo.com:80

参考

• https://help.github.com/desktop/faq/articles/can-i-log-in-behind-a-proxy-server/