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