Pull request redirection to mailing list
| From: | Andrea Faulds | Date: | Mon, 09 Jun 2014 01:34:34 +0000 |
| Subject: | Pull request redirection to mailing list | ||
| Groups: | php.internals | ||
| Request: | Send a blank email to internals+get-74789@lists.php.net to get a copy of this message | ||
Good evening,
It’s worrying that pull requests to php-src on GitHub often go neglected. To solve this, I propose
an account be set up which would “watch” the repo on GitHub and then have its email address be
redirected to internals. This would mean internals would be notified of every new pull request.
Could this happen?
Thanks.
--
Andrea Faulds
http://ajf.me/