Hello,

We need to schedule a reboot of the servers that provide copies of the Mediawiki databases for analytics purposes.
https://wikitech.wikimedia.org/wiki/Analytics/Systems/MariaDB

These are the servers: dbstore1003,dbstore1005, and dbstore1007.

I'm intending to carry out this work at 09:30 UTC next Tuesday the 9th of May. I will restart all three servers in succession, so I expect the maintenance to be complete within approximately 30 minutes.

Please note that the Wiki Replica databases are not affected by this maintenance: https://wikitech.wikimedia.org/wiki/Wiki_Replicas

Please do let me know if you have any queries or if this choice of maintenance window is likely to cause you any inconvenience.

Kind regards,
Ben

--

Ben Tullis (he/him) Senior Site Reliability Engineer Wikimedia Foundation