Hello folks, Terbium, our former faithful MediaWiki maintenance server, will be up for decommissioning on Monday, July 9th. It is no longer used for anything in production as of a few moments ago. The sole exception to that is cron jobs that were already running and have not yet completed. Please be sure that you have no processes left running on terbium by Monday July 9th! The new server for everything including cron jobs is mwmaint1001.eqiad.wmnet. Your files from terbium should already be available in a subdirectory 'home-terbium' in you home directory. Please report any issues; you know where to find us (phab, #wikimedia-operations irc). Thanks! WMF SRE Team P.S. For full history of this process, see https://phabricator.wikimedia.org/T192092