clone: respect url.insteadOf setting in global configs
authorJohannes Schindelin <Johannes.Schindelin@gmx.de>
Fri, 27 Jun 2008 12:56:05 +0000 (13:56 +0100)
committerJunio C Hamano <gitster@pobox.com>
Fri, 27 Jun 2008 23:21:19 +0000 (16:21 -0700)
commitbc0c0d81561bdbb8cb5e1f3af558390f1a0c86cb
treec0fee78a203724779cfd2c3a14fec32f1ffb9360
parent7ac749c96d143ba4f76723959892cbaddbe8ed07
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>
builtin-clone.c