Add scheduled maintenance banner for May 12 (#207)

beran-t · web-flow · commit 3f3a21b0f88d · 2026-05-05T16:42:46.000+02:00
* Add scheduled maintenance banner for May 12

* Update maintenance banner copy with UTC time
diff --git a/docs.json b/docs.json
@@ -16,6 +16,11 @@
     }
   },
   "favicon": "/favicon.png",
+  "banner": {
+    "content": "Maintenance May 12, 8–9 PM PDT (May 13, 03:00–04:00 UTC). ~1 min downtime in sandbox management possible. Running sandboxes unaffected.",
+    "type": "warning",
+    "dismissible": true
+  },
   "navigation": {
     "anchors": [
       {

Original file line number	Diff line number	Diff line change
`@@ -16,6 +16,11 @@`
`16`	`16`	`}`
`17`	`17`	`},`
`18`	`18`	`"favicon": "/favicon.png",`
	`19`	`+ "banner": {`
	`20`	`+ "content": "Maintenance May 12, 8–9 PM PDT (May 13, 03:00–04:00 UTC). ~1 min downtime in sandbox management possible. Running sandboxes unaffected.",`
	`21`	`+ "type": "warning",`
	`22`	`+ "dismissible": true`
	`23`	`+ },`
`19`	`24`	`"navigation": {`
`20`	`25`	`"anchors": [`
`21`	`26`	`{`