Configuration of the production website
Whenever you work on our website or documentation, you may need to modify our ikiwiki configuration. You need to do so in 2 different places:
The ikiwiki.setup configuration file that lives in our main Git repository is used for building:
the production website (built using GitLab CI)
the offline copy of the website that is included in every Tails release (built during the Tails build process)
Weblate's staging website uses its own configuration file, which is managed by Puppet.
When you update ikiwiki.setup:
git clone https://gitlab.tails.boum.org/tails/puppet-code.gitand apply the same changes to the ikiwiki configuration used by Weblate's staging website:Submit these production website configuration changes to the sysadmins team, as a merge request.
Don't bother coordinating the merge of these 2 sets of changes. They can be merged in any order without causing major trouble. What matters is that these 2 configurations stay in sync'.