From: Johannes Schindelin Date: Sun, 29 Jun 2008 21:50:34 GMT Subject: Re: [PATCH 2/2] clone: respect url.insteadOf setting in global configs Message-ID: In-Reply-To: <770C18A6-429E-49C0-BCF3-C2B229AAF5F9@ai.rug.nl> Hi, On Sun, 29 Jun 2008, Pieter de Bie wrote: > 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! :) Thanks for the quick answer, Dscho