git, pushing to multiple repositories

I was looking for a way to keep more than one repository updated when I’m working on personal projects, don’t ask. So I found some useful information I’m going to post here for future reference. Example part of a “.git/config” file: [remote 'all'] url=ssh://user@server/repos/g0.git url=ssh://user@server/repos/g1.git url=ssh://user@server/repos/g2.git ...