[MediaWiki-commits] [Gerrit] operations/puppet[production]: mariadb: Update socket location for db2038

Marostegui has submitted this change and it was merged. ( https://gerrit.wikimedia.org/r/385944 ) Change subject: mariadb: Update socket location for db2038 .. mariadb: Update socket location for db2038 Change-Id: I33dd1a05143

[MediaWiki-commits] [Gerrit] operations/puppet[production]: mariadb: Update socket location for db2038

Marostegui has uploaded a new change for review. ( https://gerrit.wikimedia.org/r/385944 ) Change subject: mariadb: Update socket location for db2038 .. mariadb: Update socket location for db2038 Change-Id: I33dd1a05143577114f3

[MediaWiki-commits] [Gerrit] operations/puppet[production]: mariadb: Update socket location for db1076

Marostegui has submitted this change and it was merged. ( https://gerrit.wikimedia.org/r/381950 ) Change subject: mariadb: Update socket location for db1076 .. mariadb: Update socket location for db1076 As it will be depooled.

[MediaWiki-commits] [Gerrit] operations/puppet[production]: mariadb: Update socket location for db1076

Marostegui has uploaded a new change for review. ( https://gerrit.wikimedia.org/r/381950 ) Change subject: mariadb: Update socket location for db1076 .. mariadb: Update socket location for db1076 As it will be depooled. Let's u

[MediaWiki-commits] [Gerrit] operations/puppet[production]: mariadb: Update socket location for db1059

Marostegui has submitted this change and it was merged. ( https://gerrit.wikimedia.org/r/374707 ) Change subject: mariadb: Update socket location for db1059 .. mariadb: Update socket location for db1059 Given that db1059 needs

[MediaWiki-commits] [Gerrit] operations/puppet[production]: mariadb: Update socket location for db1059

Marostegui has uploaded a new change for review. ( https://gerrit.wikimedia.org/r/374707 ) Change subject: mariadb: Update socket location for db1059 .. mariadb: Update socket location for db1059 Given that db1059 needs to get

[MediaWiki-commits] [Gerrit] operations/puppet[production]: mariadb: Update socket location for db1064

Marostegui has submitted this change and it was merged. ( https://gerrit.wikimedia.org/r/374514 ) Change subject: mariadb: Update socket location for db1064 .. mariadb: Update socket location for db1064 As it needs its mariadb

[MediaWiki-commits] [Gerrit] operations/puppet[production]: mariadb: Update socket location for db1064

Marostegui has uploaded a new change for review. ( https://gerrit.wikimedia.org/r/374514 ) Change subject: mariadb: Update socket location for db1064 .. mariadb: Update socket location for db1064 As it needs its mariadb upgrade

[MediaWiki-commits] [Gerrit] operations/puppet[production]: mariadb: Update socket location for db1097

Marostegui has submitted this change and it was merged. ( https://gerrit.wikimedia.org/r/373892 ) Change subject: mariadb: Update socket location for db1097 .. mariadb: Update socket location for db1097 Bug: T148507 Change-Id:

[MediaWiki-commits] [Gerrit] operations/puppet[production]: mariadb: Update socket location for db1097

Marostegui has uploaded a new change for review. ( https://gerrit.wikimedia.org/r/373892 ) Change subject: mariadb: Update socket location for db1097 .. mariadb: Update socket location for db1097 Bug: T148507 Change-Id: I6d852c

[MediaWiki-commits] [Gerrit] operations/puppet[production]: mariadb: Update socket location for db2037

Marostegui has submitted this change and it was merged. ( https://gerrit.wikimedia.org/r/373885 ) Change subject: mariadb: Update socket location for db2037 .. mariadb: Update socket location for db2037 Bug: T148507 Change-Id:

[MediaWiki-commits] [Gerrit] operations/puppet[production]: mariadb: Update socket location for db2037

Marostegui has uploaded a new change for review. ( https://gerrit.wikimedia.org/r/373885 ) Change subject: mariadb: Update socket location for db2037 .. mariadb: Update socket location for db2037 Bug: T148507 Change-Id: Idd7005

[MediaWiki-commits] [Gerrit] operations/puppet[production]: mariadb: Update socket location for db2044

Marostegui has submitted this change and it was merged. ( https://gerrit.wikimedia.org/r/373874 ) Change subject: mariadb: Update socket location for db2044 .. mariadb: Update socket location for db2044 Given that it is going

[MediaWiki-commits] [Gerrit] operations/puppet[production]: mariadb: Update socket location for db2044

Marostegui has uploaded a new change for review. ( https://gerrit.wikimedia.org/r/373874 ) Change subject: mariadb: Update socket location for db2044 .. mariadb: Update socket location for db2044 Given that it is going to be de

[MediaWiki-commits] [Gerrit] operations/puppet[production]: mariadb: Update socket location for db2065

Marostegui has submitted this change and it was merged. ( https://gerrit.wikimedia.org/r/373729 ) Change subject: mariadb: Update socket location for db2065 .. mariadb: Update socket location for db2065 As db2065 needs to be s

[MediaWiki-commits] [Gerrit] operations/puppet[production]: mariadb: Update socket location

Marostegui has uploaded a new change for review. ( https://gerrit.wikimedia.org/r/373729 ) Change subject: mariadb: Update socket location .. mariadb: Update socket location As db2065 needs to be stopped, take the opportunity t