From f1da735c407b254b43eb021607672e847b2b47ef Mon Sep 17 00:00:00 2001
From: Andras Bacsai <andras.bacsai@gmail.com>
Date: Mon, 6 Nov 2023 10:16:21 +0100
Subject: [PATCH] fix: gh webhook response 200 to installation_repositories

---
 routes/webhooks.php | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/routes/webhooks.php b/routes/webhooks.php
index fc5d0d592..809cffe86 100644
--- a/routes/webhooks.php
+++ b/routes/webhooks.php
@@ -74,7 +74,7 @@
             // Just pong
             return response('pong');
         }
-        if ($x_github_event === 'installation') {
+        if ($x_github_event === 'installation' || $x_github_event === 'installation_repositories') {
             // Installation handled by setup redirect url. Repositories queried on-demand.
             return response('cool');
         }