[PHP-WEBMASTER] [web-master] main: Stop handling private repositories in `github-webhook.php` (#39)

[Tim Düsterhus via GitHub]

Author: Tim Düsterhus (TimWolla)
Committer: GitHub (web-flow)
Pusher: TimWolla
Date: 2026-10-21T14:51:07+02:00

Commit: 
https://github.com/php/web-master/commit/2929ac1f13c6452d568f34be8761529ff9816db8
Raw diff: 
https://github.com/php/web-master/commit/2929ac1f13c6452d568f34be8761529ff9816db8.diff

Stop handling private repositories in `github-webhook.php` (#39)

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;