Last modified: 2014-08-28 16:13:43 UTC
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.
Change 156695 had a related patch set uploaded by Krinkle: Rename labswiki to deploymentwiki https://gerrit.wikimedia.org/r/156695
Change 156695 had a related patch set uploaded by Andrew Bogott: Rename labswiki to deploymentwiki https://gerrit.wikimedia.org/r/156695
Renaming requires a manual rename of the database (probably via a dump and recreation) and the attached patch. And... anything else?
Change 156695 merged by Andrew Bogott: Rename labswiki to deploymentwiki https://gerrit.wikimedia.org/r/156695