Push to multiple repositories
This I did not know. You can have several URLs per remote in Git, and git-push will update them all.
On a personal project I have this:
[remote "backup"]
url = [email protected]:melo/perl-sapo-broker.git
url = git@git:melo/perl-sapo-broker.git
A simple git push backup master
and all is well.