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

Re: Fetching a lot of repos

From
brian m. carlson <sandals@crustytoothpaste.net>
Date
Jun 8, 2020, 22:36 UTC
Message-ID
<20200608223643.GL6569@camp.crustytoothpaste.net>
In-Reply-To
<62cee46f-d37d-0e51-143e-b2e9c10f5b0f@gmail.com>
On 2020-06-08 at 16:03:37, Soni "They/Them" L. wrote:
> Relatedly, but not relevant for my use-case: Is it safe to assume that
> currently git breaks if multiple ppl push into the same repo at the same
> time, and they have not-yet-upstreamed shared commits, in particular if
> they're pushing to different branches?

No, if they're pushing to different branches, it's not a problem on the server side. The server side should be reasonably robust about this.

-- 
brian m. carlson: Houston, Texas, US
OpenPGP: https://keybase.io/bk2204
Previous: Soni "They/Them" L.Next: Stefan Moch
Message 4 of 5 in “Fetching a lot of repos”
  1. Soni "They/Them" L.Jun 7, 2020
  2. brian m. carlsonJun 7, 2020
  3. Soni "They/Them" L.Jun 8, 2020
  4. brian m. carlsonJun 8, 2020
  5. Stefan MochJun 8, 2020

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.