ti.sil/pr-agent
1
0
Fork 0
mirror of https://github.com/qodo-ai/pr-agent.git synced 2025-12-13 03:15:17 +00:00
Code Issues Projects Releases Packages Wiki Activity Actions

Ignore comment not starting with a slash

Browse source
This commit is contained in:
Ori Kotek 2024-02-21 17:59:58 +02:00
parent 7c87c9d3a5
commit 048d90623f
No known key found for this signature in database
GPG key ID: 5AAFD0757D1EAC4C
1 changed files with 3 additions and 0 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

3
pr_agent/servers/github_app.py
View file

@ -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 {}