[web-master] main: Stop handling private repositories in `github-webhook.php` (#39)
| From: | Tim Düsterhus via GitHub | Date: | Wed, 21 Oct 2026 12:51:12 +0000 |
| Subject: | [web-master] main: Stop handling private repositories in `github-webhook.php` (#39) | ||
| Groups: | php.webmaster | ||
| Request: | Send a blank email to php-webmaster+get-34125@lists.php.net to get a copy of this message | ||
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;