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.
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 git@github.com:
Git documentation for url.<base>.insteadOf:
git config [--global] url.
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?
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.
You can verify in ~/.gitconfig if you're overwriting SSH with https://, or vice versa.
Find your git account's git config file(.gitconfig), modify the followings:
[user]
email = your e-mail account
name = your git account
[url "git@github.com:"]
insteadOf = https://github.com/
Follow WeChat
Success story sharing
Want to stay one step ahead of the latest teleworks?
Subscribe Now相似问题
- How do I discard unstaged changes in Git?
- How to remove local (untracked) files from the current Git working tree
- What is the difference between 'git pull' and 'git fetch'?
- How do I undo 'git add' before commit?
- How do I force "git pull" to overwrite local files?
- How do I check out a remote Git branch?
- How do I delete a Git branch locally and remotely?
- How do I revert a Git repository to a previous commit?
- How do I rename a local Git branch?
git remote -vimmediately shows effect ofinsteadOfandpushInsteadOfconfigsgit@github.com:...format for the urls. This worked:git config --global url."https://github.com/".insteadOf 'git@github.com:'for me.