Our current (and soon "former") master repo at boum.org will soon become yet
another mirror. The tails.git repo on puppet-git.lizard is taking over the
responsibility of pushing to mirrors, starting with immerda since we have
everything in place to do that already.