Re: Pull request redirection to mailing list
| From: | Peter Cowburn | Date: | Mon, 09 Jun 2014 09:08:48 +0000 |
| Subject: | Re: Pull request redirection to mailing list | ||
| References: | 1 | Groups: | php.internals |
| Request: | Send a blank email to internals+get-74791@lists.php.net to get a copy of this message | ||
On 9 June 2014 02:34, Andrea Faulds <ajf@ajf.me> wrote:
> 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.
>
So, something like git-pulls@lists.php.net ?
>
> Could this happen?
>
> Thanks.
> --
> Andrea Faulds
> http://ajf.me/
>
>
>
>
>
> --
> PHP Internals - PHP Runtime Development Mailing List
> To unsubscribe, visit: http://www.php.net/unsub.php
>
>