From: Pieter de Bie Date: Sun, 29 Jun 2008 20:12:49 GMT Subject: Re: [PATCH 2/2] clone: respect url.insteadOf setting in global configs Message-ID: <770C18A6-429E-49C0-BCF3-C2B229AAF5F9@ai.rug.nl> In-Reply-To: On 27 jun 2008, at 14:56, Johannes Schindelin wrote: > 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. This works great, thanks for the quick patch! :) - Pieter