[MediaWiki-commits] [Gerrit] operations/mediawiki-config[master]: db-codfw.php: Depool db2058 for a MariaDB upgrade

2017-08-25 Thread jenkins-bot (Code Review)
jenkins-bot has submitted this change and it was merged. ( https://gerrit.wikimedia.org/r/373732 ) Change subject: db-codfw.php: Depool db2058 for a MariaDB upgrade .. db-codfw.php: Depool db2058 for a MariaDB upgrade Upgrade

[MediaWiki-commits] [Gerrit] operations/mediawiki-config[master]: db-codfw.php: Depool db2058 for a MariaDB upgrade

2017-08-24 Thread Marostegui (Code Review)
Marostegui has uploaded a new change for review. ( https://gerrit.wikimedia.org/r/373732 ) Change subject: db-codfw.php: Depool db2058 for a MariaDB upgrade .. db-codfw.php: Depool db2058 for a MariaDB upgrade Upgrade its

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

2017-03-17 Thread jenkins-bot (Code Review)
jenkins-bot has submitted this change and it was merged. ( https://gerrit.wikimedia.org/r/343255 ) Change subject: db-codfw.php: Depool db2058 .. db-codfw.php: Depool db2058 db2058 needs an ALTER table Bug: T160415 Bug:

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

2017-03-17 Thread Marostegui (Code Review)
Marostegui has uploaded a new change for review. ( https://gerrit.wikimedia.org/r/343255 ) Change subject: db-codfw.php: Depool db2058 .. db-codfw.php: Depool db2058 db2058 needs an ALTER table Bug: T160415 Bug: T73563