Puppet recipes used to administer Software Heritage infrastructure, i.e., stuff in all puppet-* repositories