I\'m working behind an http proxy. I\'m trying to clone Android\'s source tree using their \"repo\" tool.
This tool insists on using git://
URLs, even
Here's an example of rewriting the default protocol for GitHub:
git config --global url.https://github.com/.insteadOf git://github.com/
Git documentation for url.
git config [--global] url.
.insteadOf Any URL that starts with this value will be rewritten to start, instead, with
. When more than one insteadOf strings match a given URL, the longest match is used.