173

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. As a result, I can't download the source.

Is it possible to force git to always use http?

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.

0

5 Answers 5

354

Here's an example of rewriting the default protocol for GitHub:

git config --global url.https://github.com/.insteadOf git://github.com/

The exact values depend on the protocol in use. For example, the above command for git over ssh will look like:

git config --global url.https://github.com/.insteadOf [email protected]:

Git documentation for url.<base>.insteadOf:

git config [--global] url.<base>.insteadOf <other_url>

Any URL that starts with this value will be rewritten to start, instead, with <base>. When more than one insteadOf strings match a given URL, the longest match is used.

8
  • 23
    helps when firewall blocks git protocol! :) Jun 14, 2013 at 15:36
  • Can I ask a question here? I was using this but wrote "heeps" rather than "https". How can I correct this? Does 'git config --global.url.github.com/.insteadOf heeps://github.com/' work?
    – Xuxu
    Oct 17, 2016 at 18:58
  • 3
    Tip: git remote -v immediately shows effect of insteadOf and pushInsteadOf configs Nov 22, 2016 at 13:49
  • This worked for me in public WiFi with blocked 22 port. How config can be reverted to defaults?
    – yivo
    Nov 28, 2016 at 17:44
  • 15
    This answer almost made it for me, except my repository was using a [email protected]:... format for the urls. This worked: git config --global url."https://github.com/".insteadOf '[email protected]:' for me. Apr 25, 2017 at 12:31
35

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?

1
  • 2
    Thanks, this "insteadOf" variable is exactly what I needed.
    – noamtm
    Nov 17, 2009 at 15:14
27

I had this same problem with recursively getting submodules in a git repository. I'm behind a crazy firewall that doesn't allow outgoing connections on the git port. Some of the submodules of the submodules were coded as git://github.com/blah/blah.git. This killed my recursive population of submodules. The workaround is the following:

git config --global url."https://<GITUSERNAME>@".insteadOf git://

This replaces git:// with https://<GITUSERNAME>@ in all submodule repository URLs. You need to replace <GITUSERNAME> with your own git username. Also note that the --global is required; just adding this configuration to the base repository directory doesn't work.

1
4

You can verify in ~/.gitconfig if you're overwriting SSH with https://, or vice versa.

0

Find your git account's git config file(.gitconfig), modify the followings:

    [user]
    email = your e-mail account


    name = your git account
    [url "[email protected]:"]


    insteadOf = https://github.com/

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service and acknowledge that you have read and understand our privacy policy and code of conduct.

Not the answer you're looking for? Browse other questions tagged or ask your own question.