[Final Message] The migration went well with no disruption.
[Initial message]
A migration of the javadoc website from an arm nodepool to another on the cluster publick8s is planned on Monday 31st of July 2023 at 13h00 UTC.
More details on https://github.com/jenkins-infra/helpdesk/issues/3623#issuecomment-1613504371
Last updated: July 31, 2023 at 3:19 PM UTC