Well yeah obviously you never know for sure that a remote peer doesn’t have some changes that they haven’t told you about yet. That’s also true with lots of platforms - like google docs and Notion and multiplayer video games. Seems fine though? I don’t understand why this matters for collaborative editing?

Have you ever worked on the same repo with >500 devs? 99% of the time, it doesn’t matter. People talk to people.