Re: [PATCH] push: Alias pushurl from push rewrites
- From
Rob Hoelz <rob@hoelz.ro>
- Date
- Mar 27, 2013, 22:53 UTC
- Message-ID
- <20130327175358.53903fae@hoelz.ro>
- In-Reply-To
- <20130327224735.GJ28148@google.com>
On Wed, 27 Mar 2013 15:47:35 -0700 Jonathan Nieder <jrnieder@gmail.com> wrote:
Show 25 quoted lines
> 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 >
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