How to convert `git:` urls to `http:` urls

Question

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

Answer 1

I don't know how this repo tool uses Git (and if you can configure 'repo' to use http protocol), but you can try to trick it using url..insteadOf configuration variable (see git-config and git-fetch manpages).

Have you tried to use core.gitProxy to pass through firewall, if it is the problme with using git protocol?