We need to schedule a reboot of the servers that provide copies of the
Mediawiki databases for analytics purposes.
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
Please do let me know if you have any queries or if this choice of
maintenance window is likely to cause you any inconvenience.
Senior Site Reliability Engineer
Wikimedia Foundation <https://wikimediafoundation.org/>