Building notes, projects, and occasional rants

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.