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

From: Jonathan Nieder <[email-masked]>
Date: Wed, 27 Mar 2013 15:56:56 -0700

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.