From: Junio C Hamano <gitster@pobox.com>
Date: Fri, 31 Jul 2015 19:02:14 GMT
Subject: Re: [PATCH] add ls-remote --get-push-url option
Message-ID: <xmqq4mkk5ex5.fsf@gitster.dls.corp.google.com>
In-Reply-To: <20150731185619.GA24622@megas.kitware.com>

Ben Boeckel <mathstuf@gmail.com> 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'.