Re: Pull request redirection to mailing list

On 9 Jun 2014, at 12:11, Derick Rethans <derick@php.net> wrote: > On Mon, 9 Jun 2014, Peter Cowburn wrote: > >> 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 ? > > ... right. We already have this. However, does anyone actually subscribe to that list? If it was on internals, I think they’d get more attention. At the moment people have to come here just to have a hope of seeing their requests merged. -- Andrea Faulds http://ajf.me/