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

2017-06-22 Thread jenkins-bot (Code Review)
jenkins-bot has submitted this change and it was merged. ( https://gerrit.wikimedia.org/r/360798 ) Change subject: Revert "db-eqiad.php: Depool db1045" .. Revert "db-eqiad.php: Depool db1045" This reverts commit

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

2017-06-22 Thread Marostegui (Code Review)
Hello Florianschmidtwelzow, jenkins-bot, Jcrespo, I'd like you to do a code review. Please visit https://gerrit.wikimedia.org/r/360798 to review the following change. Change subject: Revert "db-eqiad.php: Depool db1045"

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

2017-03-16 Thread jenkins-bot (Code Review)
jenkins-bot has submitted this change and it was merged. ( https://gerrit.wikimedia.org/r/343049 ) Change subject: Revert "db-eqiad.php: Depool db1045" .. Revert "db-eqiad.php: Depool db1045" This reverts commit

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

2017-03-16 Thread Marostegui (Code Review)
Hello Florianschmidtwelzow, jenkins-bot, I'd like you to do a code review. Please visit https://gerrit.wikimedia.org/r/343049 to review the following change. Change subject: Revert "db-eqiad.php: Depool db1045" ..

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

2016-12-16 Thread jenkins-bot (Code Review)
jenkins-bot has submitted this change and it was merged. ( https://gerrit.wikimedia.org/r/327708 ) Change subject: Revert "db-eqiad.php: Depool db1045" .. Revert "db-eqiad.php: Depool db1045" db1045 finished its ALTER and it

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

2016-12-16 Thread Marostegui (Code Review)
Hello jenkins-bot, Jcrespo, I'd like you to do a code review. Please visit https://gerrit.wikimedia.org/r/327708 to review the following change. Change subject: Revert "db-eqiad.php: Depool db1045" .. Revert

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

2016-12-13 Thread jenkins-bot (Code Review)
jenkins-bot has submitted this change and it was merged. ( https://gerrit.wikimedia.org/r/326941 ) Change subject: Revert "db-eqiad.php: Depool db1045" .. Revert "db-eqiad.php: Depool db1045" db1045's maintenance finished

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

2016-12-13 Thread Marostegui (Code Review)
Hello jenkins-bot, Jcrespo, I'd like you to do a code review. Please visit https://gerrit.wikimedia.org/r/326941 to review the following change. Change subject: Revert "db-eqiad.php: Depool db1045" .. Revert

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

2016-12-07 Thread jenkins-bot (Code Review)
jenkins-bot has submitted this change and it was merged. Change subject: Revert "db-eqiad.php: Depool db1045" .. Revert "db-eqiad.php: Depool db1045" db1045 finished its ALTER table and it is ready to be back in the pool This

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

2016-12-07 Thread Marostegui (Code Review)
Marostegui has uploaded a new change for review. https://gerrit.wikimedia.org/r/325768 Change subject: Revert "db-eqiad.php: Depool db1045" .. Revert "db-eqiad.php: Depool db1045" db1045 finished its ALTER table and it is