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