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