The Puppet repository used for the Tor infrastructure is not public. We should fix that.
cf https://trac.torproject.org/projects/tor/wiki/org/meetings/2019BrusselsAdminTeamMinutes#Makingmoreofourrepositoriespublic