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.