From 95f85a33c166f62307aef94e94fc09c0f7f0f5c2 Mon Sep 17 00:00:00 2001 From: Jack Ye Date: Mon, 14 Sep 2026 01:26:37 -0700 Subject: [PATCH] docs: rename the Operations group to Maintenance --- docs/web/docs.json | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/docs/web/docs.json b/docs/web/docs.json index 08348abc0..11ae0be10 100644 --- a/docs/web/docs.json +++ b/docs/web/docs.json @@ -227,7 +227,7 @@ ] }, { - "group": "Operations", + "group": "Maintenance", "pages": [ { "group": "Indexing",