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

2017-08-24 Thread jenkins-bot (Code Review)
jenkins-bot has submitted this change and it was merged. ( https://gerrit.wikimedia.org/r/373727 ) Change subject: db-codfw.php: Depool db2065 .. db-codfw.php: Depool db2065 Going to upgrade db2065 to 10.0.32 Bug: T168661

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

2017-08-24 Thread Marostegui (Code Review)
Marostegui has uploaded a new change for review. ( https://gerrit.wikimedia.org/r/373727 ) Change subject: db-codfw.php: Depool db2065 .. db-codfw.php: Depool db2065 Going to upgrade db2065 to 10.0.32 Bug: T168661 Change-Id:

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

2017-08-07 Thread jenkins-bot (Code Review)
jenkins-bot has submitted this change and it was merged. ( https://gerrit.wikimedia.org/r/370442 ) Change subject: db-codfw.php: Depool db2065 .. db-codfw.php: Depool db2065 db2065 was used to populate db2073. It was

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

2017-08-07 Thread Marostegui (Code Review)
Marostegui has uploaded a new change for review. ( https://gerrit.wikimedia.org/r/370442 ) Change subject: db-codfw.php: Depool db2065 .. db-codfw.php: Depool db2065 db2065 was used to populate db2073. It was discovered that

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

2017-08-01 Thread jenkins-bot (Code Review)
jenkins-bot has submitted this change and it was merged. ( https://gerrit.wikimedia.org/r/368983 ) Change subject: db-codfw.php: Depool db2065 .. db-codfw.php: Depool db2065 db2065 is going to be used to populate db2073 on s4

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

2017-08-01 Thread Marostegui (Code Review)
Marostegui has uploaded a new change for review. ( https://gerrit.wikimedia.org/r/368983 ) Change subject: db-codfw.php: Depool db2065 .. db-codfw.php: Depool db2065 db2065 is going to be used to populate db2073 on s4 Bug:

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

2017-03-16 Thread jenkins-bot (Code Review)
jenkins-bot has submitted this change and it was merged. ( https://gerrit.wikimedia.org/r/343081 ) Change subject: db-codfw.php: Depool db2065 .. db-codfw.php: Depool db2065 Needs alter table Bug: T160415 Bug: T73563

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

2017-03-16 Thread Marostegui (Code Review)
Marostegui has uploaded a new change for review. ( https://gerrit.wikimedia.org/r/343081 ) Change subject: db-codfw.php: Depool db2065 .. db-codfw.php: Depool db2065 Needs alter table Bug: T160415 Bug: T73563 Change-Id: