From 9c284e64cfa04f588dcdfc4f3b4a36935f5e9d8e Mon Sep 17 00:00:00 2001
From: mrT23 <tal.r@codium.ai>
Date: Mon, 25 Mar 2024 12:27:45 +0200
Subject: [PATCH] dont log pr-agent bot

---
 pr_agent/servers/github_app.py | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/pr_agent/servers/github_app.py b/pr_agent/servers/github_app.py
index 9c0a5cee..2e14051b 100644
--- a/pr_agent/servers/github_app.py
+++ b/pr_agent/servers/github_app.py
@@ -257,7 +257,8 @@ async def handle_request(body: Dict[str, Any], event: str):
 
     # logic to ignore PRs opened by bot
     if get_settings().get("GITHUB_APP.IGNORE_BOT_PR", False) and sender_type == "Bot":
-        get_logger().info(f"Ignoring PR from '{sender=}' due to github_app.ignore_bot_pr setting")
+        if 'pr-agent' not in sender:
+            get_logger().info(f"Ignoring PR from '{sender=}' because it is a bot")
         return {}
 
     # handle comments on PRs