Tech:Puppet

Miraheze uses puppet to make sure configuration is up to date. Puppet, for example, loads mediawiki settings, install new extensions when it's on mediawiki repository, update dns informations, and possibly more than this.

Updates
Miraheze's puppet is configured to check for changes every 10 minutes, and runs when something is changed. Puppet runs even if there is no changes every hour.