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

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

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

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

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

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

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

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

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

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

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

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

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

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/343079 to review the following change. Change subject: Revert "db-eqiad.php: Depool db1092" ..

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

2016-12-15 Thread jenkins-bot (Code Review)
jenkins-bot has submitted this change and it was merged. ( https://gerrit.wikimedia.org/r/327526 ) Change subject: Revert "db-eqiad.php: Depool db1092" .. Revert "db-eqiad.php: Depool db1092" ALTER table done This reverts

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

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