Subject: Re: [PATCH] add ls-remote --get-push-url option

From: Junio C Hamano <[email-masked]>
Date: Fri, 31 Jul 2015 12:02:14 -0700

Ben Boeckel <[email-masked]> writes:

> With some sed, yes, but then so would `git remote show` just as useful
> too (and in that case, "why does --get-url exist either?" comes to
> mind).

Either carelessness let it slip in, or it came before 'git remote show'.