Add options to keep original user title

This commit is contained in:
zmeir
2023-08-22 10:32:58 +03:00
parent 09ef809080
commit 82fb611a26
2 changed files with 9 additions and 2 deletions

View File

@ -25,6 +25,7 @@ extra_instructions = ""
[pr_description] # /describe #
publish_description_as_comment=false
add_original_user_description=false
keep_original_user_title=false
extra_instructions = ""
[pr_questions] # /ask #