Merge pull request #717 from Codium-ai/tr/logs_message

Add documentation for 'ignore_pr_titles' parameter in Usage.md
This commit is contained in:
Tal
2024-02-26 06:43:22 -08:00
committed by GitHub

View File

@ -174,6 +174,13 @@ To cancel the automatic run of all the tools, set:
handle_pr_actions = []
```
You can also disable automatic runs for PRs with specific titles, by setting the `ignore_pr_titles` parameter with the relevant regex. For example:
```
[github_app]
ignore_pr_title = ["^[Auto]", ".*ignore.*"]
```
will ignore PRs with titles that start with "Auto" or contain the word "ignore".
##### GitHub app automatic tools for push actions (commits to an open PR)
In addition to running automatic tools when a PR is opened, the GitHub app can also respond to new code that is pushed to an open PR.