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

Hi,

Rob Hoelz wrote:

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

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