github はポート 443 で SSH が動作してるらしいので、 git+ssh で HTTP プロキシを越えてみる。 以下の設定は git+ssh を使う前提で、git プロトコルで直接越える設定じゃない。 ポート 9418 を通してくれるなら、GIT_PROXY_COMMAND や core.gitProxy を設定してできるっぽい。 予め、SSH で使用する鍵を作成し、github に公開鍵を登録しておく。 Linux の場合 使うもの ・ git ・ Corkscrew Corkscrew はプロキシを越えるためのトンネリングツール。 ~/.ssh/config に以下を加える。 Host github.com User git Hostname ssh.github.com Port 443 IdentityFile ~/.ssh/id_dsa ProxyCommand /u