jenkins-bot has submitted this change and it was merged. (
https://gerrit.wikimedia.org/r/397822 )
Change subject: Revert "mariadb: Depool db2071"
......................................................................
Revert "mariadb: Depool db2071"
This reverts commit 01d3a0042d1ba1c94ef8956e258032fe9d56791d.
Change-Id: I7757915b842e9ed8609761b1fc15818648df80e2
---
M wmf-config/db-codfw.php
1 file changed, 2 insertions(+), 2 deletions(-)
Approvals:
jenkins-bot: Verified
Jcrespo: Looks good to me, approved
diff --git a/wmf-config/db-codfw.php b/wmf-config/db-codfw.php
index ee30dd2..4983e7c 100644
--- a/wmf-config/db-codfw.php
+++ b/wmf-config/db-codfw.php
@@ -111,7 +111,7 @@
'db2062' => 50, # B5 3.3TB 160GB, api # mariadb 10.1
'db2069' => 50, # D6 3.3TB 160GB, api
'db2070' => 400, # C5 3.3TB 160GB
- # 'db2071' => 50, # A6 3.6TB 512GB, api
+ 'db2071' => 50, # A6 3.6TB 512GB, api
'db2072' => 500, # B6 3.6TB 512GB, # mariadb 10.1
'db2088:3311' => 1, # D1 3.3TB 512GB # rc, log: s1 and s2
'db2085:3311' => 1, # A5 3.3TB 512GB # rc, log: s1 and s8
@@ -310,7 +310,7 @@
'db2055' => 1,
'db2062' => 1,
'db2069' => 1,
- # 'db2071' => 5,
+ 'db2071' => 5,
],
],
's2' => [
--
To view, visit https://gerrit.wikimedia.org/r/397822
To unsubscribe, visit https://gerrit.wikimedia.org/r/settings
Gerrit-MessageType: merged
Gerrit-Change-Id: I7757915b842e9ed8609761b1fc15818648df80e2
Gerrit-PatchSet: 2
Gerrit-Project: operations/mediawiki-config
Gerrit-Branch: master
Gerrit-Owner: Jcrespo <[email protected]>
Gerrit-Reviewer: Jcrespo <[email protected]>
Gerrit-Reviewer: Marostegui <[email protected]>
Gerrit-Reviewer: Urbanecm <[email protected]>
Gerrit-Reviewer: Zoranzoki21 <[email protected]>
Gerrit-Reviewer: jenkins-bot <>
_______________________________________________
MediaWiki-commits mailing list
[email protected]
https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits
