[web-master] iluuu1994-patch-2: Also add untyped
| From: | Ilija Tovilo via GitHub | Date: | Wed, 05 Feb 2025 11:59:16 +0000 |
| Subject: | [web-master] iluuu1994-patch-2: Also add untyped | ||
| Groups: | php.webmaster | ||
| Request: | Send a blank email to php-webmaster+get-32679@lists.php.net to get a copy of this message | ||
Author: Ilija Tovilo (iluuu1994)
Committer: GitHub (web-flow)
Pusher: iluuu1994
Date: 2025-02-05T12:51:57+01:00
Commit: https://github.com/php/web-master/commit/07656ad364c58e376fd0a1db468d3ed084c5aeb4
Raw diff: https://github.com/php/web-master/commit/07656ad364c58e376fd0a1db468d3ed084c5aeb4.diff
Also add untyped
Changed paths:
M public/github-webhook.php
Diff:
diff --git a/public/github-webhook.php b/public/github-webhook.php
index 3715d57..6224ae6 100644
--- a/public/github-webhook.php
+++ b/public/github-webhook.php
@@ -389,6 +389,7 @@ function handle_push_mail($payload) {
case 'auto_merge_disabled':
// Undocumented as of yet
case 'typed':
+ case 'untyped':
// Ignore these actions
break 2;
default: