Tech:Deleting a wiki

NOT DONE YET!

Process
First, SSH to a mediawikiserver (like prod4 or prod8). 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 confirm both lists look good.

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 prod3. This requires a MariaDB user having root privileges. An example to connect: Done. The actual command to delete the database is: You should do these for each database.

Everything should look good now.