I'm in the middle of some work to get wikitech to function as part of the deployment system:
https://gerrit.wikimedia.org/r/#/c/155789
Awkwardly, the wikitech mediawiki db is called 'labswiki' and beta already has a wiki called labswiki. Branching operations/mediawiki-config to handle two different wikis with the same name will be a bit ugly.
So -- there seems to be general support to rename the labswiki on beta.
Version: unspecified
Severity: normal
gerritadmin wrote:
Change 156695 had a related patch set uploaded by Krinkle:
Rename labswiki to deploymentwiki
gerritadmin wrote:
Change 156695 had a related patch set uploaded by Andrew Bogott:
Rename labswiki to deploymentwiki
Renaming requires a manual rename of the database (probably via a dump and recreation) and the attached patch. And... anything else?
gerritadmin wrote:
Change 156695 merged by Andrew Bogott:
Rename labswiki to deploymentwiki