In case you want to make use of the decentralized nature of Git, consider using multiple push targets like this:

$ git remote set-url origin --push --add [email protected]/project.git
$ git remote set-url origin --push --add [email protected]/project.git

Note that the first call to set-url will overwrite an existing remote creating with git clone. Any additional call will actually recognize the --add option and add the new target to an existing remote.

Links

• push only mirrors
• gitlab-distributor