end issue (#355)

Co-authored-by: smerle33 <[email protected]>
jenkins-infra · Jul 31, 2023 · 609ad98 · 609ad98
1 parent fa2a5df
commit 609ad98
Showing 1 changed file with 5 additions and 2 deletions.
diff --git a/content/issues/2023-07-31-javadoc-migration-within-publick8s.md b/content/issues/2023-07-31-javadoc-migration-within-publick8s.md
@@ -1,15 +1,18 @@
 ---
 title: javadoc.jenkins.io migration
 date: 2023-07-31T13:00:00-00:00
-resolved: false
-#resolvedWhen: 2023-06-13T09:15:00-00:00
+resolved: true
+resolvedWhen: 2023-07-31T14:00:00-00:00
 # Possible severity levels: down, disrupted, notice
 severity: disrupted
 affected:
   - javadoc.jenkins.io
 section: issue
 ---
 
+[Final Message]
+The migration went well with no disruption.
+
 [Initial message]
 A migration of [the javadoc website](https://javadoc.jenkins.io) from an arm nodepool to another on the cluster `publick8s` is planned on Monday 31st of July 2023 at 13h00 UTC.