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

Yes; but I have no idea how that connects to anything else we’ve been discussing here.