From: Jonathan Nieder <jrnieder@gmail.com>
Date: Wed, 27 Mar 2013 22:47:35 GMT
Subject: Re: [PATCH] push: Alias pushurl from push rewrites
Message-ID: <20130327224735.GJ28148@google.com>
In-Reply-To: <20130327172909.532a30b6@hoelz.ro>

Hi,

Rob Hoelz wrote:
> On Wed, 27 Mar 2013 11:23:45 -0700
> Jonathan Nieder <jrnieder@gmail.com> wrote:

>> Suppose I configure
>>
>> 	[url "git://anongit.myserver.example.com/"]
>> 		insteadOf = myserver.example.com:
>> 	[url "myserver:"]
>> 		pushInsteadOf = myserver.example.com:
>>
>> The above code would make the insteadOf rule apply instead of
>> pushInsteadOf, even when pushing.  Perhaps something like the
>> following would work?
>
> Are you sure?

The message you are replying to is nonsense, due to a typo while
editing.  Did you see my followup?

Sorry for the confusion,
Jonathan