Re: What's cooking in git.git (Dec 2018, #02; Fri, 28)
- Date: Sat, 29 Dec 2018 07:08:43 -0500
- From: Denton Liu <liu.denton@xxxxxxxxx>
- Subject: Re: What's cooking in git.git (Dec 2018, #02; Fri, 28)
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?