git: 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 though "http://" URLs also work. This results in me not being able to download the source.

Is it possible to force git to always use http URLs?

Thanks.

Edit: my http_proxy is configured correctly. For example, this works:

git clone http://android.git.kernel.org/platform/manifest.git

But this doesn't (errno=Connection timed out):

git clone git://android.git.kernel.org/platform/manifest.git

So this answer does not really help me.

Answer 1

See this previous answer.

Answer 2

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.<base>.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?