Re: What's cooking in git.git (Dec 2018, #02; Fri, 28)

From: Denton Liu <liu.denton@gmail.com>
Date: Dec 29, 2018, 12:08 UTC
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:

Show 8 quoted lines

> * 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

$ cat FOOTERMessages come from the public archive at lore.kernel.org/git, fetched every hour. The front page is chosen and written each morning by an AI editor and can be wrong; the threads themselves are the record. About and API. For agents: an MCP server at https://gitlist.dev/mcp, and any thread, story or person page as Markdown by adding .md to its URL (or sending Accept: text/markdown). Details in /llms.txt.