From d77a71bf477222dd1ef268329002ba853c877765 Mon Sep 17 00:00:00 2001 From: Zohar Meir <33152084+zmeir@users.noreply.github.com> Date: Sun, 8 Oct 2023 14:35:54 +0300 Subject: [PATCH] Small typo in DESCRIBE.md --- docs/DESCRIBE.md | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/docs/DESCRIBE.md b/docs/DESCRIBE.md index bb07668c..05d1608a 100644 --- a/docs/DESCRIBE.md +++ b/docs/DESCRIBE.md @@ -23,7 +23,7 @@ Under the section 'pr_description', the [configuration file](./../pr_agent/setti - `add_original_user_description`: if set to true, the tool will add the original user description to the generated description. Default is false. -- `add_original_user_title`: if set to true, the tool will keep the original PR title, and won't change it. Default is false. +- `keep_original_user_title`: if set to true, the tool will keep the original PR title, and won't change it. Default is false. - `extra_instructions`: Optional extra instructions to the tool. For example: "focus on the changes in the file X. Ignore change in ...". @@ -48,4 +48,4 @@ pr_agent:walkthrough ``` The marker `pr_agent:pr_type` will be replaced with the PR type, `pr_agent:summary` will be replaced with the PR summary, and `pr_agent:walkthrough` will be replaced with the PR walkthrough. -- `include_generated_by_header`: if set to true, the tool will add a dedicated header: 'Generated by PR Agent at ...' to any automatic content. Default is true. \ No newline at end of file +- `include_generated_by_header`: if set to true, the tool will add a dedicated header: 'Generated by PR Agent at ...' to any automatic content. Default is true.