Tech:Deleting a wiki

Process
First, SSH to a mediawikiserver (like prod11). The list of databases to be deleted should be available at Orain Meta, which is available in raw format at /srv/mediawiki/w/deleted.dblist. Please be sure the lists are okay.

Delete all entries from CentralAuth
A maintenance script is available for this.
 * (don't change "loginwiki")

Delete all entries in the ansible-playbook
As the subject says. You can use GitHub's search features to search for any entries. Example: https://github.com/search?l=&q=testwiki+user%3Aorain&ref=advsearch&type=Code&utf8=%E2%9C%93 (you should replace "testwiki" with the appropriate databasename).

Deleting the databases
You'll need to connect to a dbserver, which likely is prod12. This requires a MariaDB user having root privileges. An example to connect: Done. The actual command to delete the database is: Everything needed should be done now. If not, something gone wrong.