Sure, if they push one after the other. If they push at the same time however, does Git handle the sync on its own?