Re: [PATCH] push: Alias pushurl from push rewrites
- From
Jonathan Nieder <jrnieder@gmail.com>
- Date
- Mar 27, 2013, 22:56 UTC
- Message-ID
- <20130327225656.GK28148@google.com>
- In-Reply-To
- <20130327175358.53903fae@hoelz.ro>
Rob Hoelz wrote:
> My mistake; I had not seen it! I thought you may have found a bug in > my implementation, so I wanted to double check. =)
Well, I had found an unfortunate consequence of the implementation that uses an unnecessary copy. :)
Will follow up to the updated patch.