Monthly Workbench MaintenanceUPDATE: July 11, 2019 8:27am
As of 8:15am, engineers have completed maintenance and have returned the Workbench cluster back to normal service. Please report any issues to firstname.lastname@example.org
ORIGINAL: June 12, 2019 8:02am
The Workbench cluster will be unavailable beginning Thursday, July 11th, 2019 at 8:00am, for scheduled maintenance. The cluster will return to full production by Thursday, July 11th, 2019 at 5:00pm.
During this time, Workbench will have minor operating system security patches and upgrades applied.
Thank you for your understanding, Please let us know if you have any questions or concerns.