From: brian m. carlson Date: Mon, 08 Jun 2020 22:36:43 GMT Subject: Re: Fetching a lot of repos 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