[MediaWiki-commits] [Gerrit] operations/mediawiki-config[master]: Revert "db-codfw.php: Depool db2054"

2017-04-05 Thread jenkins-bot (Code Review)
jenkins-bot has submitted this change and it was merged. ( https://gerrit.wikimedia.org/r/346526 ) Change subject: Revert "db-codfw.php: Depool db2054" .. Revert "db-codfw.php: Depool db2054" This reverts commit 7b2aa925619351

[MediaWiki-commits] [Gerrit] operations/mediawiki-config[master]: Revert "db-codfw.php: Depool db2054"

2017-04-05 Thread Marostegui (Code Review)
Hello jenkins-bot, I'd like you to do a code review. Please visit https://gerrit.wikimedia.org/r/346526 to review the following change. Change subject: Revert "db-codfw.php: Depool db2054" .. Revert "db-codfw.php: Depool

[MediaWiki-commits] [Gerrit] operations/mediawiki-config[master]: Revert "db-codfw.php Depool db2054"

2017-01-25 Thread Marostegui (Code Review)
Marostegui has submitted this change and it was merged. ( https://gerrit.wikimedia.org/r/334029 ) Change subject: Revert "db-codfw.php Depool db2054" .. Revert "db-codfw.php Depool db2054" ALTER table finished This reverts co

[MediaWiki-commits] [Gerrit] operations/mediawiki-config[master]: Revert "db-codfw.php Depool db2054"

2017-01-24 Thread Marostegui (Code Review)
Hello jenkins-bot, I'd like you to do a code review. Please visit https://gerrit.wikimedia.org/r/334029 to review the following change. Change subject: Revert "db-codfw.php Depool db2054" .. Revert "db-codfw.php Depool d