From 3f3e9909fe972f8f75e12d4bb8c49e8ee887e219 Mon Sep 17 00:00:00 2001 From: mrT23 Date: Sun, 23 Jun 2024 10:03:52 +0300 Subject: [PATCH] fix: initialize `git_provider` as an empty dictionary in GitHub App server --- 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 855830f8..06b5905a 100644 --- a/pr_agent/servers/github_app.py +++ b/pr_agent/servers/github_app.py @@ -48,7 +48,7 @@ async def handle_github_webhooks(background_tasks: BackgroundTasks, request: Req installation_id = body.get("installation", {}).get("id") context["installation_id"] = installation_id context["settings"] = copy.deepcopy(global_settings) - context["git_provider"] = None + context["git_provider"] = {} background_tasks.add_task(handle_request, body, event=request.headers.get("X-GitHub-Event", None)) return {}