docs pr help

This commit is contained in:
mrT23
2024-09-21 20:55:05 +03:00
parent 3e780783cc
commit 8229d98842
4 changed files with 15 additions and 3 deletions

View File

@ -119,7 +119,7 @@ class PRDescription:
pr_body += "\n</details>\n"
elif self.git_provider.is_supported("gfm_markdown") and get_settings().pr_description.enable_help_comment:
pr_body += "\n\n___\n\n> 💡 **PR-Agent usage**:"
pr_body += "\n>Comment `/help` on the PR to get a list of all available PR-Agent tools and their descriptions\n\n"
pr_body += '\n>Need PR-Agent help? Comment `/help "your question"` on any pull request to receive relevant information'
# Output the relevant configurations if enabled
if get_settings().get('config', {}).get('output_relevant_configurations', False):