jenkins-bot has submitted this change and it was merged. (
https://gerrit.wikimedia.org/r/373252 )
Change subject: db-codfw.php: Depool db2073
......................................................................
db-codfw.php: Depool db2073
I am going to test 10.0.32 on this host to make sure the enum bug is
solved on 10.0.32 as stated by MariaDB
Bug: T168661
Change-Id: I94ee37cb65ff864261eee2752aea41fe80f84da5
---
M wmf-config/db-codfw.php
1 file changed, 1 insertion(+), 1 deletion(-)
Approvals:
Marostegui: Looks good to me, approved
jenkins-bot: Verified
diff --git a/wmf-config/db-codfw.php b/wmf-config/db-codfw.php
index 6567c75..030ac1f 100644
--- a/wmf-config/db-codfw.php
+++ b/wmf-config/db-codfw.php
@@ -128,7 +128,7 @@
'db2044' => 50, # C6 2.9TB 160GB, rc, log
'db2058' => 50, # D6 3.3TB 160GB, dump (inactive), vslow
'db2065' => 200, # D6 3.3TB 160GB, api
- 'db2073' => 400, # C6 3.3TB 512GB # Compressed InnoDB
+ # 'db2073' => 400, # C6 3.3TB 512GB # Compressed InnoDB #T168661
],
's5' => [
'db2023' => 0, # B6 2.9TB 96GB, master
--
To view, visit https://gerrit.wikimedia.org/r/373252
To unsubscribe, visit https://gerrit.wikimedia.org/r/settings
Gerrit-MessageType: merged
Gerrit-Change-Id: I94ee37cb65ff864261eee2752aea41fe80f84da5
Gerrit-PatchSet: 2
Gerrit-Project: operations/mediawiki-config
Gerrit-Branch: master
Gerrit-Owner: Marostegui <[email protected]>
Gerrit-Reviewer: Jcrespo <[email protected]>
Gerrit-Reviewer: Marostegui <[email protected]>
Gerrit-Reviewer: jenkins-bot <>
_______________________________________________
MediaWiki-commits mailing list
[email protected]
https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits
