From: Denton Liu <liu.denton@gmail.com>
Date: Sat, 29 Dec 2018 12:08:43 GMT
Subject: Re: What's cooking in git.git (Dec 2018, #02; Fri, 28)
Message-ID: <20181229120843.GA5937@archbookpro.localdomain>
In-Reply-To: <xmqqh8explya.fsf@gitster-ct.c.googlers.com>

On Fri, Dec 28, 2018 at 10:04:13AM -0800, Junio C Hamano wrote:
> * dl/remote-save-to-push (2018-12-11) 1 commit
>  - remote: add --save-to-push option to git remote set-url
> 
>  "git remote set-url" learned a new option that moves existing value
>  of the URL field to pushURL field of the remote before replacing
>  the URL field with a new value.
> 
>  I am personally not yet quite convinced if this is worth pursuing.

Hi Junio, just wondering from our previous discussions, is this comment
outdated or is it still valid?

Thanks,

-Denton