-
Notifications
You must be signed in to change notification settings - Fork 739
New issue
Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.
By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.
Already on GitHub? Sign in to your account
Adds an option to ignore PR opens by regex matching #694
Conversation
PR Description updated to latest commit (e3dba12)
|
PR Review
✨ Review tool usage guide:Overview:
With a configuration file, use the following template:
See the review usage page for a comprehensive guide on using this tool. |
PR Code Suggestions
✨ Improve tool usage guide:Overview:
With a configuration file, use the following template:
See the improve usage page for a more comprehensive guide on using this tool. |
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
LGTM
Type
enhancement
Description
re
module ingithub_app.py
for regex operations.github_app.py
to fetch the PR title and compare it against regex patterns specified in the configuration.configuration.toml
to include a new optionignore_pr_title
for specifying regex patterns.Changes walkthrough
github_app.py
Add Regex-Based PR Title Ignoring Feature
pr_agent/servers/github_app.py
re
module for regex operations.from the configuration.
patterns to decide on ignoring the PR.
configuration.toml
Configuration Option for Ignoring PRs by Title
pr_agent/settings/configuration.toml
ignore_pr_title
as an empty list tohold regex patterns for ignoring PRs.