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