I’m behind a firewall that is blocking port 9418 (git) and am trying to install some tools that are explicitly doing a checkout of git://github.com/..., so I can’t switch to https for the checkout.
So I’m wondering if it’s possible to redirect all traffic to port 9418 through a proxy and if so how 🙂
Have a look at
core.gitproxysetting in Git config.Quick googling revealed this script that may be useful (or may not — I did not try it): https://gist.github.com/49288