Not super high priority and certainly can wait, but something that should be eventually done as there's Labs no more.
|Duplicate||None||T237771 Make Wikitech a normal wiki|
|Duplicate||None||T237772 Move Wikitech's database off of M5 and onto a normal production wiki DB server|
|Declined||None||T171570 Rename database 'labswiki' to 'wikitechwiki'|
|Stalled||None||T83609 script & docs to rename wiki databases|
|Open||None||T217792 Add wikitech (labswiki) to the sqoop list|
Forgot to set it to stalled. Yes, I was not given the exact reason, but I was told that it was not currently possible. Still this is a valid task that while it can take some time to be acomplished it should be done when it is technically possible. Thanks.
There are ways to rename a database, but not using a mysql native command, but exporting and importing into a new database with the correct name etc. It requires downtime, testing and all that.
Doesn't look urgent enough to me to duplicate labswiki and paste it to a new wikitech DB, etc. However I leave that decision to the cloud-services-team. It was also suggested to make Wikitech a SUL wiki (T161859) so maybe iff that goes forward, the DB rename could happen before. As I've said, this is for cloud-services to decide what's best :)
I suppose it could happen as part of moving the database tables from hosting on silver.wikimedia.org to hosting in the s3 cluster (T167973: Move databases for wikitech (labswiki) and labstestwiki to a main cluster section (s5?)), but honestly this is not something that I would find incredibly useful. The current dbname can be confusing when making configuration patches, but beyond that it really has no impact on Cloud Services.