jenkins-bot has submitted this change and it was merged. ( https://gerrit.wikimedia.org/r/385972 )
Change subject: db-codfw.php: Repool db2037 ...................................................................... db-codfw.php: Repool db2037 Change-Id: If09c48077107fe1fb94454feff4613d037a476f8 --- M wmf-config/db-codfw.php 1 file changed, 6 insertions(+), 6 deletions(-) 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 75d8e7f..089dd33 100644 --- a/wmf-config/db-codfw.php +++ b/wmf-config/db-codfw.php @@ -132,7 +132,7 @@ 's4' => [ 'db2051' => 0, # B8 2.9TB 160GB, master # 'db2019' => 0, # B6 2.9TB 96GB, old master - # 'db2037' => 50, # C6 2.9TB 160GB, rc, log #T178359 + 'db2037' => 50, # C6 2.9TB 160GB, rc, log 'db2044' => 50, # C6 2.9TB 160GB, rc, log 'db2058' => 50, # D6 3.3TB 160GB, dump (inactive), vslow 'db2065' => 200, # D6 3.3TB 160GB, api @@ -334,23 +334,23 @@ ], 's4' => [ 'watchlist' => [ - # 'db2037' => 1, + 'db2037' => 1, 'db2044' => 1, ], 'recentchanges' => [ - # 'db2037' => 1, + 'db2037' => 1, 'db2044' => 1, ], 'recentchangeslinked' => [ - # 'db2037' => 1, + 'db2037' => 1, 'db2044' => 1, ], 'contributions' => [ - # 'db2037' => 1, + 'db2037' => 1, 'db2044' => 1, ], 'logpager' => [ - # 'db2037' => 1, + 'db2037' => 1, 'db2044' => 1, ], 'dump' => [ -- To view, visit https://gerrit.wikimedia.org/r/385972 To unsubscribe, visit https://gerrit.wikimedia.org/r/settings Gerrit-MessageType: merged Gerrit-Change-Id: If09c48077107fe1fb94454feff4613d037a476f8 Gerrit-PatchSet: 1 Gerrit-Project: operations/mediawiki-config Gerrit-Branch: master Gerrit-Owner: Marostegui <maroste...@wikimedia.org> 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