[arch-devops] (no subject)

[Pierre Schmitz]

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