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

2017-12-15 Thread jenkins-bot (Code Review)
jenkins-bot has submitted this change and it was merged. ( https://gerrit.wikimedia.org/r/398436 ) Change subject: db-eqiad.php: Depool db1084 .. db-eqiad.php: Depool db1084 Going to clone db Bug: T180788 Change-Id:

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

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

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

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

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

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

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

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

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

2017-10-31 Thread jenkins-bot (Code Review)
jenkins-bot has submitted this change and it was merged. ( https://gerrit.wikimedia.org/r/387522 ) Change subject: db-eqiad.php: Depool db1084 .. db-eqiad.php: Depool db1084 Going to migrate it to file per table Bug: T161088

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

2017-10-31 Thread Marostegui (Code Review)
Marostegui has uploaded a new change for review. ( https://gerrit.wikimedia.org/r/387522 ) Change subject: db-eqiad.php: Depool db1084 .. db-eqiad.php: Depool db1084 Going to migrate it to file per table Bug: T161088

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

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

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

2017-10-15 Thread Marostegui (Code Review)
Marostegui has uploaded a new change for review. ( https://gerrit.wikimedia.org/r/384439 ) Change subject: db-eqiad.php: Depool db1084 .. db-eqiad.php: Depool db1084 Going to optimize pagelinks, templatelinks and recentchanges

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

2017-08-31 Thread jenkins-bot (Code Review)
jenkins-bot has submitted this change and it was merged. ( https://gerrit.wikimedia.org/r/374982 ) Change subject: db-eqiad.php: Depool db1084 .. db-eqiad.php: Depool db1084 Upgrade its MariaDB to 10.0.32 Bug: T168661

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

2017-08-31 Thread Marostegui (Code Review)
Marostegui has uploaded a new change for review. ( https://gerrit.wikimedia.org/r/374982 ) Change subject: db-eqiad.php: Depool db1084 .. db-eqiad.php: Depool db1084 Upgrade its MariaDB to 10.0.32 Bug: T168661 Change-Id:

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

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

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

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

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

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

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

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

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

2016-11-22 Thread jenkins-bot (Code Review)
jenkins-bot has submitted this change and it was merged. Change subject: db-eqiad.php: Depool db1084 for maintenance .. db-eqiad.php: Depool db1084 for maintenance db1084 needs an ALTER table so it needs to be depooled Bug:

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

2016-11-22 Thread Marostegui (Code Review)
Marostegui has uploaded a new change for review. https://gerrit.wikimedia.org/r/322837 Change subject: db-eqiad.php: Depool db1084 for maintenance .. db-eqiad.php: Depool db1084 for maintenance db1084 needs an ALTER table so

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

2016-10-03 Thread jenkins-bot (Code Review)
jenkins-bot has submitted this change and it was merged. Change subject: db-eqiad.php: Depool db1084 .. db-eqiad.php: Depool db1084 db1084 needs an alter table to get a PK added and needs to be depooled Bug: T147113

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

2016-10-03 Thread Marostegui (Code Review)
Marostegui has uploaded a new change for review. https://gerrit.wikimedia.org/r/313796 Change subject: db-eqiad.php: Depool db1084 .. db-eqiad.php: Depool db1084 db1084 needs an alter table to get a PK added and needs to be