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 <https://wikimediafoundation.org/>