From 048d90623fdd5d73ded55319be7434937644f941 Mon Sep 17 00:00:00 2001 From: Ori Kotek Date: Wed, 21 Feb 2024 17:59:58 +0200 Subject: [PATCH 1/2] Ignore comment not starting with a slash --- pr_agent/servers/github_app.py | 3 +++ 1 file changed, 3 insertions(+) diff --git a/pr_agent/servers/github_app.py b/pr_agent/servers/github_app.py index a218f191..f4c0a067 100644 --- a/pr_agent/servers/github_app.py +++ b/pr_agent/servers/github_app.py @@ -92,6 +92,9 @@ async def handle_request(body: Dict[str, Any], event: str): if "comment" not in body: return {} comment_body = body.get("comment", {}).get("body") + if not comment_body.lsstrip().startswith("/"): + get_logger().info("Ignoring comment not starting with /") + return {} if sender and bot_user in sender: get_logger().info(f"Ignoring comment from {bot_user} user") return {} From 4d0f691b64cdf002912bb9d3a9a885730a22007a Mon Sep 17 00:00:00 2001 From: mrT23 Date: Wed, 21 Feb 2024 18:23:34 +0200 Subject: [PATCH 2/2] repo_settings --- pr_agent/git_providers/utils.py | 2 +- pr_agent/servers/github_app.py | 2 +- 2 files changed, 2 insertions(+), 2 deletions(-) diff --git a/pr_agent/git_providers/utils.py b/pr_agent/git_providers/utils.py index 2b2954a7..1ca254d5 100644 --- a/pr_agent/git_providers/utils.py +++ b/pr_agent/git_providers/utils.py @@ -23,7 +23,7 @@ def apply_repo_settings(pr_url): git_provider = get_git_provider()(pr_url) repo_settings = git_provider.get_repo_settings() try: - context.set("repo_settings", repo_settings) + context["repo_settings"] = repo_settings except Exception: pass diff --git a/pr_agent/servers/github_app.py b/pr_agent/servers/github_app.py index f4c0a067..ecd5a00c 100644 --- a/pr_agent/servers/github_app.py +++ b/pr_agent/servers/github_app.py @@ -92,7 +92,7 @@ async def handle_request(body: Dict[str, Any], event: str): if "comment" not in body: return {} comment_body = body.get("comment", {}).get("body") - if not comment_body.lsstrip().startswith("/"): + if comment_body and isinstance(comment_body, str) and not comment_body.lstrip().startswith("/"): get_logger().info("Ignoring comment not starting with /") return {} if sender and bot_user in sender: