From b71523f13e4ededa7582734e8dba3ac1039eff4f Mon Sep 17 00:00:00 2001 From: koid Date: Mon, 18 Mar 2024 15:42:13 +0900 Subject: [PATCH] use endswith --- pr_agent/servers/github_app.py | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/pr_agent/servers/github_app.py b/pr_agent/servers/github_app.py index 5cbf3175..ed6e1e73 100644 --- a/pr_agent/servers/github_app.py +++ b/pr_agent/servers/github_app.py @@ -123,7 +123,7 @@ async def handle_new_pr_opened(body: Dict[str, Any], agent: PRAgent): # logic to ignore PRs opened by bot 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") return {}