diff options
| author | Johannes Schindelin <Johannes.Schindelin@gmx.de> | 2008-06-27 13:56:05 +0100 |
|---|---|---|
| committer | Junio C Hamano <gitster@pobox.com> | 2008-06-27 16:21:19 -0700 |
| commit | bc0c0d81561bdbb8cb5e1f3af558390f1a0c86cb (patch) | |
| tree | c0fee78a203724779cfd2c3a14fec32f1ffb9360 /Documentation/git-clone.txt | |
| parent | 7ac749c96d143ba4f76723959892cbaddbe8ed07 (diff) | |
| download | git-bc0c0d81561bdbb8cb5e1f3af558390f1a0c86cb.tar.gz | |
clone: respect url.insteadOf setting in global configs
When we call "git clone" with a url that has a rewrite rule in either
$HOME/.gitconfig or /etc/gitconfig, the URL can be different from
what the command line expects it to be.
So, let's use the URL as the remote structure has it, not the literal
string from the command line.
Noticed by Pieter de Bie.
Signed-off-by: Johannes Schindelin <johannes.schindelin@gmx.de>
Acked-by: Daniel Barkalow <barkalow@iabervon.org>
Signed-off-by: Junio C Hamano <gitster@pobox.com>
Diffstat (limited to 'Documentation/git-clone.txt')
0 files changed, 0 insertions, 0 deletions