[web-master] main: Send playground issue emails to me
| From: | Nikita Popov | Date: | Sat, 04 Dec 2021 19:43:13 +0000 |
| Subject: | [web-master] main: Send playground issue emails to me | ||
| Groups: | php.webmaster | ||
| Request: | Send a blank email to php-webmaster+get-29796@lists.php.net to get a copy of this message | ||
Author: Nikita Popov (nikic)
Date: 2021-12-04T20:43:29+01:00
Commit: https://github.com/php/web-master/commit/10374a093621620263a07f67e1019c8c6b2e8d39
Raw diff: https://github.com/php/web-master/commit/10374a093621620263a07f67e1019c8c6b2e8d39.diff
Send playground issue emails to me
Changed paths:
M public/github-webhook.php
Diff:
diff --git a/public/github-webhook.php b/public/github-webhook.php
index 56ca6ca..065f707 100644
--- a/public/github-webhook.php
+++ b/public/github-webhook.php
@@ -309,6 +309,7 @@ function handle_push_mail($payload) {
'php-src' => 'git-pulls@lists.php.net',
'web-' => 'php-webmaster@lists.php.net',
'pecl-' => 'pecl-dev@lists.php.net',
+ 'playground' => 'nikic@php.net',
],
];