From 4977db55780d2930be22d1d5b15028823e19ae22 Mon Sep 17 00:00:00 2001 From: ofir-frd Date: Thu, 5 Jun 2025 07:59:35 +0300 Subject: [PATCH] docs: remove duplicate note about /add_docs not being triggered automatically --- docs/docs/tools/documentation.md | 3 --- 1 file changed, 3 deletions(-) diff --git a/docs/docs/tools/documentation.md b/docs/docs/tools/documentation.md index 47222f51..77920f41 100644 --- a/docs/docs/tools/documentation.md +++ b/docs/docs/tools/documentation.md @@ -46,9 +46,6 @@ pr_commands = [ The `pr_commands` list defines commands that run automatically when a PR is opened. Since this is under the [github_app] section, it only applies when using the Qodo Merge GitHub App in GitHub environments. -!!! note -By default, /add_docs is not triggered automatically. You must explicitly include it in pr_commands to enable this behavior. - ## Configuration options - `docs_style`: The exact style of the documentation (for python docstring). you can choose between: `google`, `numpy`, `sphinx`, `restructuredtext`, `plain`. Default is `sphinx`.