Re: Pull request redirection to mailing list

On Mon, 9 Jun 2014, Andrea Faulds 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? Yes. I am subscribed. cheers, Derick -- http://derickrethans.nl | http://xdebug.org Like Xdebug? Consider a donation: http://xdebug.org/donate.php twitter: @derickr and @xdebug Posted with an email client that doesn't mangle email: alpine