Hi all, I was wondering if there were any objections if we move the MediaWiki config from the archwiki repo into infrastructure. ATM there is a file called LocalSettings.archlinux.org.php in the archwiki repo which gets included by the file LocalSettings.php that is store in the infrastructure repo. Changing the Wiki configuration is kind of inconvenient. You have to decide which config file to use, if you choose LocalSettings.archlinux.org.php you have to tag a new release and update the infrastructure repo as well. To sum things up: the only site specific configuration LocalSettings.php should be stored in the infrastructure repo. Greetings, Pierre