I can't imagine it would be that difficult with multiple people. Even if they pulled from one or the other, so long as someone merges the changes from the miss

I can't imagine it would be that difficult with multiple people. Even if they pulled from one or the other, so long as someone merges the changes from the missing repo, everyone will be good to go. This is a pretty unique approach to multiple git servers.