Re: [PATCH] push: Alias pushurl from push rewrites

On Wed, 27 Mar 2013 15:47:35 -0700
Jonathan Nieder [off-list ref] wrote:

Hi,

Rob Hoelz wrote:

quoted

On Wed, 27 Mar 2013 11:23:45 -0700
Jonathan Nieder [off-list ref] wrote:

quoted

quoted

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

My mistake; I had not seen it!  I thought you may have found a bug in
my implementation, so I wanted to double check. =)

-Rob