From 83e670c5df9a045a459d2737838152dde1e47bc7 Mon Sep 17 00:00:00 2001
From: Ori Kotek <ori.k@codium.ai>
Date: Mon, 16 Oct 2023 16:13:09 +0300
Subject: [PATCH] Enhance logging context in github_app server with server type

---
 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 c598049e..37f96e2d 100644
--- a/pr_agent/servers/github_app.py
+++ b/pr_agent/servers/github_app.py
@@ -78,7 +78,7 @@ async def handle_request(body: Dict[str, Any], event: str):
     agent = PRAgent()
     bot_user = get_settings().github_app.bot_user
     sender = body.get("sender", {}).get("login")
-    log_context = {"action": action, "event": event, "sender": sender}
+    log_context = {"action": action, "event": event, "sender": sender, "server_type": "github_app"}
 
     if get_settings().github_app.duplicate_requests_cache and _is_duplicate_request(body):
         return {}