xiaxinhang/pr-agent
1
0
Fork 0
mirror of https://github.com/qodo-ai/pr-agent.git synced 2025-07-03 20:30:41 +08:00
Code Issues Packages Projects Releases Wiki Activity

use endswith

Browse Source
This commit is contained in:
koid
2024-03-18 15:42:13 +09:00
parent 80a793a257
commit b71523f13e
1 changed files with 1 additions and 1 deletions
Download Patch File Download Diff File Expand all files Collapse all files

2
pr_agent/servers/github_app.py
View File

@ -123,7 +123,7 @@ async def handle_new_pr_opened(body: Dict[str, Any],
agent: PRAgent): agent: PRAgent):
# logic to ignore PRs opened by bot # logic to ignore PRs opened by bot
if get_settings().get("GITHUB_APP.IGNORE_BOT_PR", False): if get_settings().get("GITHUB_APP.IGNORE_BOT_PR", False):
if re.match('.+\[bot]$', sender) is not None: if sender.endswith('[bot]'):
get_logger().info(f"Ignoring PR by sender '{sender}' due to github_app.ignore_bot_pr setting") get_logger().info(f"Ignoring PR by sender '{sender}' due to github_app.ignore_bot_pr setting")
return {} return {}