From: Jonathan Nieder <jrnieder@gmail.com>
Date: Wed, 27 Mar 2013 22:56:56 GMT
Subject: Re: [PATCH] push: Alias pushurl from push rewrites
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.