学校で github に接続しようとしていますが、ポート 443 がブロックされています。
管理者から、代わりにポート 9418 を使用するように言われました。これが git プロトコルのデフォルト ポートであると思われます。
しかし、git bash (Windows) で git remote set-url origingit://github.com/me/myrepo.git
を実行してプッシュしようとすると、この URL にプッシュできないため、https://github...
代わりに使用するように指示されます。
ポート 9418 を使用するように git を構成するにはどうすればよいですか?