diff --git a/apps/docs/docs.json b/apps/docs/docs.json index d210e7af..063af3df 100644 --- a/apps/docs/docs.json +++ b/apps/docs/docs.json @@ -23,6 +23,7 @@ "usage/intro", "usage/ui", "usage/github", + "usage/pr-tagging", "usage/examples", "usage/best-practices", "usage/custom-rules" @@ -83,3 +84,4 @@ } } } + diff --git a/apps/docs/setup/development.mdx b/apps/docs/setup/development.mdx index 1daf6c88..8911d162 100644 --- a/apps/docs/setup/development.mdx +++ b/apps/docs/setup/development.mdx @@ -180,7 +180,7 @@ Before starting, ensure you have the following installed: This gif shows how/where to enable the permissions on the GitHub App: