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
