[PHP-WEBMASTER] [web-master] github-webhook-private-repo: Stop handling private repositories in `github-webhook.php`

[Tim Düsterhus]

Author: Tim Düsterhus (TimWolla)
Date: 2026-10-21T14:43:54+02:00

Commit: 
https://github.com/php/web-master/commit/4e71401361cbec7f0837b8dad588e59255423bb1
Raw diff: 
https://github.com/php/web-master/commit/4e71401361cbec7f0837b8dad588e59255423bb1.diff

Stop handling private repositories in `github-webhook.php`

Changed paths:
  M  public/github-webhook.php


Diff:

diff --git a/public/github-webhook.php b/public/github-webhook.php
index 0afe5b9..efbaf4a 100644
--- a/public/github-webhook.php
+++ b/public/github-webhook.php
@@ -331,6 +331,11 @@ function handle_push_mail($payload) {
 }
 
 $repoName = $payload->repository->name;
+if ($payload->repository->private ?? true) {
+    echo "Not handling private repository";
+    exit();
+}
+
 switch ($event) {
     case 'ping':
         break;