Re: Pull request redirection to mailing list

On 9 June 2014 14:38, Andrea Faulds <ajf@ajf.me> wrote: > > 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? Looks like at least Derick and myself. > If it was on internals, I think they’d get more attention. Sure, and lots of people *not* wanting this noise added to the list. > At the moment people have to come here just to have a hope of seeing their > requests merged. > That's unfortunate. I think we should make the php-pulls list work again (if we can), then anyone who wants to subscribe can do so. Then it's just a matter of letting people know that the list exists. > > -- > Andrea Faulds > http://ajf.me/ > >