We're currently using our own nginx module, we should consider switching to the voxpopuli module, which has far broader community support. # Steps to deploy - [x] Add support for Puppet environments via ENC. - [x] Create an environment containing puppet-tails!113. - [x] Migrate one by one, in order, using the ENC, checking results and fixing any issues: - [x] `www.lizard` - [x] Check `mail.tails.boum.org` ACME well-known configuration - [x] Check TLS cert configuration - [x] Check the monthly stats script - [x] Check gitannex-based mirrors - [x] Check password for Jenkins web interface - [x] Check Mirrorbits redirector - [x] Check `{,{time-based,tagged}.snapshots.}deb.tails.boum.org` - [x] Check the Redmine archive and redirector - [x] `iso{tester,builder,worker}N.{lizard,dragon,iguana}`: check tests in Jenkins CI - [x] Merge puppet-tails!113 and push it to the `production` environment. - [x] Move all nodes back to the `production` environment. - [x] Remove the `nginy` module - [x] Deprecate the `nginy.git` repo - [x] Delete the `nginy.git` repo in Gitolite3 - [x] Archive the tails/puppet-nginx> project - [x] Consider making the Jenkins HTTP Basic Auth allow-list dynamic