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

2017-12-15 Thread jenkins-bot (Code Review)
jenkins-bot has submitted this change and it was merged. ( https://gerrit.wikimedia.org/r/398430 ) Change subject: db-eqiad.php: Depool db1080 .. db-eqiad.php: Depool db1080 Needs alter table Bug: T174569 Change-Id:

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

2017-12-15 Thread Marostegui (Code Review)
Marostegui has uploaded a new change for review. ( https://gerrit.wikimedia.org/r/398430 ) Change subject: db-eqiad.php: Depool db1080 .. db-eqiad.php: Depool db1080 Needs alter table Bug: T174569 Change-Id:

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

2017-10-09 Thread jenkins-bot (Code Review)
jenkins-bot has submitted this change and it was merged. ( https://gerrit.wikimedia.org/r/383305 ) Change subject: db-eqiad.php: Depool db1080 .. db-eqiad.php: Depool db1080 Going to optimize templatelinks and pagelinks Bug:

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

2017-10-09 Thread Marostegui (Code Review)
Marostegui has uploaded a new change for review. ( https://gerrit.wikimedia.org/r/383305 ) Change subject: db-eqiad.php: Depool db1080 .. db-eqiad.php: Depool db1080 Going to optimize templatelinks and pagelinks Bug: T174509

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

2017-07-06 Thread jenkins-bot (Code Review)
jenkins-bot has submitted this change and it was merged. ( https://gerrit.wikimedia.org/r/363528 ) Change subject: db-eqiad.php: Depool db1080 .. db-eqiad.php: Depool db1080 db1080 needs alter table Bug: T168661 Change-Id:

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

2017-07-06 Thread Marostegui (Code Review)
Marostegui has uploaded a new change for review. ( https://gerrit.wikimedia.org/r/363528 ) Change subject: db-eqiad.php: Depool db1080 .. db-eqiad.php: Depool db1080 db1080 needs alter table Bug: T168661 Change-Id:

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

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

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

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

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

2017-03-14 Thread jenkins-bot (Code Review)
jenkins-bot has submitted this change and it was merged. ( https://gerrit.wikimedia.org/r/342580 ) Change subject: db-eqiad.php: Depool db1080 .. db-eqiad.php: Depool db1080 db1080 needs an ALTER table Bug: T132416

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

2017-03-14 Thread Marostegui (Code Review)
Marostegui has uploaded a new change for review. ( https://gerrit.wikimedia.org/r/342580 ) Change subject: db-eqiad.php: Depool db1080 .. db-eqiad.php: Depool db1080 db1080 needs an ALTER table Bug: T132416 Change-Id: