proxyでGitHubに接続する方法です。(corkskrewを使う方法しか知らなかったのですが、ncを使う方法も教えてもらったのでupdateします。)corkscrewを使う場合gith…