From 991a8ab87429cb7c96b71b146d9d6de55112e883 Mon Sep 17 00:00:00 2001 From: Devin AI <158243242+devin-ai-integration[bot]@users.noreply.github.com> Date: Mon, 6 Jul 2026 18:44:40 +0000 Subject: [PATCH] chore: regenerate docs-json after merging dev Co-Authored-By: Konstantin Wohlwend --- .../skill-site-prompt-parts/docs-json.generated.ts | 11 +++++++---- 1 file changed, 7 insertions(+), 4 deletions(-) diff --git a/packages/shared/src/ai/unified-prompts/skill-site-prompt-parts/docs-json.generated.ts b/packages/shared/src/ai/unified-prompts/skill-site-prompt-parts/docs-json.generated.ts index a878f75e9..0b3eb3dfd 100644 --- a/packages/shared/src/ai/unified-prompts/skill-site-prompt-parts/docs-json.generated.ts +++ b/packages/shared/src/ai/unified-prompts/skill-site-prompt-parts/docs-json.generated.ts @@ -245,9 +245,7 @@ const docsJson = { } }, "seo": { - "metatags": { - "robots": "noindex" - } + "indexing": "all" }, "settings": { "customScripts": [ @@ -255,7 +253,12 @@ const docsJson = { "/code-language-labels.js" ] }, - "redirects": [] + "redirects": [ + { + "source": "/guides/going-further/backend-integration", + "destination": "/guides/going-further/local-vs-cloud-dashboard" + } + ] } as const; export default docsJson;