I am trying to connect to github at school but port 443 is blocked.
The admin told me to use port 9418 instead which I believe is the default port for the git protocol.
But in git bash (windows) if i try to do git remote set-url origin git://github.com/me/myrepo.git
and do a push, it tells me I can't push to this URL, and to use https://github...
instead.
How can I configure git to use port 9418 ?