From 1ee79e0e7c3137004d0d76517d7114c421d63e5a Mon Sep 17 00:00:00 2001 From: raj Date: Thu, 16 Jan 2025 16:28:59 +0530 Subject: [PATCH] Update to new sidebar placeholder option --- docs/guides/github/github-sidebar.json | 11 +++++++++++ docs/sidebar.json | 11 ++--------- 2 files changed, 13 insertions(+), 9 deletions(-) create mode 100644 docs/guides/github/github-sidebar.json diff --git a/docs/guides/github/github-sidebar.json b/docs/guides/github/github-sidebar.json new file mode 100644 index 00000000..b80684e1 --- /dev/null +++ b/docs/guides/github/github-sidebar.json @@ -0,0 +1,11 @@ +{ + "type": "category", + "id": "github", + "link": "guides/github", + "items": [ + "guides/github/import-github-organization", + "guides/github/permissions", + "guides/github/decommission", + "guides/github/real-time-events" + ] +} \ No newline at end of file diff --git a/docs/sidebar.json b/docs/sidebar.json index d16770c0..df4b8cea 100644 --- a/docs/sidebar.json +++ b/docs/sidebar.json @@ -277,15 +277,8 @@ ] }, { - "type": "category", - "id": "github", - "link": "guides/github", - "items": [ - "guides/github/import-github-organization", - "guides/github/permissions", - "guides/github/decommission", - "guides/github/real-time-events" - ] + "type": "placeholder", + "file": "guides/github/github-sidebar.json" }, { "type": "category",