From: Ben Boeckel <mathstuf@gmail.com>
Date: Fri, 31 Jul 2015 19:04:15 GMT
Subject: Re: [PATCH] add ls-remote --get-push-url option
Message-ID: <20150731190415.GA23674@megas.kitware.com>
In-Reply-To: <xmqq4mkk5ex5.fsf@gitster.dls.corp.google.com>

On Fri, Jul 31, 2015 at 12:02:14 -0700, Junio C Hamano wrote:
> 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'.

Would adding `git remote show --url $remote` and `git remote show
--push-url $remote` be acceptable?

--Ben