Sysadmin documentation is unclear about Git repositories for Puppet code
Originally created by @groente on #14613 (Redmine)
In particular, https://tails.boum.org/contribbute/working_together/roles/sysadmins/ does not mention where the puppet stuff actually lives nor the synchronisation that goes on between immerda and git.puppet.tails.boum.org