From 8fba670bda9051fa69dd58d96bfac71010c13f6e Mon Sep 17 00:00:00 2001 From: Eugene Kaushnian Date: Sat, 8 Jul 2023 13:36:47 -0400 Subject: [PATCH] Rename github_app_webhook.py to github_app.py --- pr_agent/servers/{github_app_webhook.py => github_app.py} | 0 1 file changed, 0 insertions(+), 0 deletions(-) rename pr_agent/servers/{github_app_webhook.py => github_app.py} (100%) diff --git a/pr_agent/servers/github_app_webhook.py b/pr_agent/servers/github_app.py similarity index 100% rename from pr_agent/servers/github_app_webhook.py rename to pr_agent/servers/github_app.py