git/list[1] front-page[2] threads[3] people[4] search[5] about
 

Re: [PATCH] fetch: fix duplicate remote parallel fetch bug

From
Calvin Wan <calvinwan@google.com>
Date
Jan 19, 2023, 23:44 UTC
Message-ID
<CAFySSZA6MgjejnoBa7HrXAQBNb1zE93aASVZogabAK_ArDNmnA@mail.gmail.com>
In-Reply-To
<xmqq8rhy172q.fsf@gitster.g>
> As it always is possible to edit .git/config manually, it is
> necessary to perform deduplication like this patch does on the
> consumer side of the list, but do you know if our tool create
> duplication, or is it entirely something the end-user does manually?

I checked git-remote and there is protection against duplication there, but I'm unsure if there are other places where remotes are being added/renamed. I discovered the bug initially by using git-config.

Previous: Junio C Hamano
Message 3 of 3 in “fetch: fix duplicate remote parallel fetch bug”
  1. fetch: fix duplicate remote parallel fetch bugCalvin Wan, Jan 19, 2023
  2. Junio C HamanoJan 19, 2023
  3. Calvin WanJan 19, 2023

Read the whole thread, see it on lore, or plain text.

$ 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.