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

From: Ben Boeckel <[email-masked]>
Date: Fri, 31 Jul 2015 15:04:15 -0400

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

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

--Ben