[web-master] main: Ignore PR review requested action
| From: | Ilija Tovilo via Nikita Popov | Date: | Wed, 11 May 2022 15:21:05 +0000 |
| Subject: | [web-master] main: Ignore PR review requested action | ||
| Groups: | php.webmaster | ||
| Request: | Send a blank email to php-webmaster+get-29978@lists.php.net to get a copy of this message | ||
Author: Ilija Tovilo (iluuu1994)
Committer: Nikita Popov (nikic)
Date: 2022-05-11T17:16:48+02:00
Commit: https://github.com/php/web-master/commit/0122a1f982226e36c8fae73e9056239525b5ef06
Raw diff: https://github.com/php/web-master/commit/0122a1f982226e36c8fae73e9056239525b5ef06.diff
Ignore PR review requested action
Changed paths:
M public/github-webhook.php
Diff:
diff --git a/public/github-webhook.php b/public/github-webhook.php
index 663af36..e3cd6c6 100644
--- a/public/github-webhook.php
+++ b/public/github-webhook.php
@@ -378,6 +378,7 @@ function handle_push_mail($payload) {
case 'milestoned':
case 'demilestoned':
case 'ready_for_review':
+ case 'review_requested':
// Ignore these actions
break 2;
default: