jenkins-bot has submitted this change and it was merged. (
https://gerrit.wikimedia.org/r/397858 )
Change subject: Revert "mariadb: Depool db2072 for maintenance"
......................................................................
Revert "mariadb: Depool db2072 for maintenance"
This reverts commit 30fa08b18ae94e69e9063ec737a7a39d0149e784.
Change-Id: I7ab08783a132b7399c5bbe9696c96b2996cb0dc8
---
M wmf-config/db-codfw.php
1 file changed, 1 insertion(+), 1 deletion(-)
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 7c3961a..4983e7c 100644
--- a/wmf-config/db-codfw.php
+++ b/wmf-config/db-codfw.php
@@ -112,7 +112,7 @@
'db2069' => 50, # D6 3.3TB 160GB, api
'db2070' => 400, # C5 3.3TB 160GB
'db2071' => 50, # A6 3.6TB 512GB, api
- # 'db2072' => 500, # B6 3.6TB 512GB, # mariadb 10.1
+ '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
],
--
To view, visit https://gerrit.wikimedia.org/r/397858
To unsubscribe, visit https://gerrit.wikimedia.org/r/settings
Gerrit-MessageType: merged
Gerrit-Change-Id: I7ab08783a132b7399c5bbe9696c96b2996cb0dc8
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
