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 c
git://github.com/...
If you are talking about git submodules, try this:
git config --global url.https://github.com/.insteadOf git://github.com/
...taken from here.
This way, you don't need to set any proxy, nor run any script.