jenkins-bot has submitted this change and it was merged. ( 
https://gerrit.wikimedia.org/r/371050 )

Change subject: db-codfw.php: Depool db2046
......................................................................


db-codfw.php: Depool db2046

While doing compressing on db2076 some duplicate entries have been
found, as db2046 was the host used to clone db2076, going to fix them
here first

Bug: T151029
Change-Id: I0a7e210673c7c8b128a597d5eda192a2c69fce7e
---
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 cb00a85..64ba31c 100644
--- a/wmf-config/db-codfw.php
+++ b/wmf-config/db-codfw.php
@@ -142,7 +142,7 @@
        's6' => [
                'db2028' => 0,   # B6  2.9TB  96GB, master
                'db2039' => 50,  # C6 2.9TB 160GB, rc, log
-               'db2046' => 400, # C6 2.9TB 160GB
+               # 'db2046' => 400, # C6 2.9TB 160GB #Fixing dup keys T151029
                'db2053' => 100, # D6 2.9TB 160GB, dump (inactive), vslow
                'db2060' => 100, # D6 3.3TB 160GB, api
                'db2067' => 400, # D6 3.3TB 160GB

-- 
To view, visit https://gerrit.wikimedia.org/r/371050
To unsubscribe, visit https://gerrit.wikimedia.org/r/settings

Gerrit-MessageType: merged
Gerrit-Change-Id: I0a7e210673c7c8b128a597d5eda192a2c69fce7e
Gerrit-PatchSet: 1
Gerrit-Project: operations/mediawiki-config
Gerrit-Branch: master
Gerrit-Owner: Marostegui <maroste...@wikimedia.org>
Gerrit-Reviewer: Florianschmidtwelzow <florian.schmidt.stargatewis...@gmail.com>
Gerrit-Reviewer: Jcrespo <jcre...@wikimedia.org>
Gerrit-Reviewer: Marostegui <maroste...@wikimedia.org>
Gerrit-Reviewer: jenkins-bot <>

_______________________________________________
MediaWiki-commits mailing list
MediaWiki-commits@lists.wikimedia.org
https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits

Reply via email to