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-pu...@lists.php.net',
'web-' => 'php-webmaster@lists.php.net',
'pecl-' => 'pecl-...@lists.php.net',
+ 'playground' => 'ni...@php.net',
],
];
--
PHP Webmaster List Mailing List (http://www.php.net/)
To unsubscribe, visit: http://www.php.net/unsub.php
