Re: Pull request redirection to mailing list

On Mon, Jun 9, 2014 at 7:11 PM, 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. > This email thread aims to explore mitigative approaches for the status quo, i.e. mostly silent (or stale for that matter) discussion threads on most outstanding pull requests; if what we currently have was already sufficient, surely this thread wouldn't have been necessary, unless you mean to say that we just need more git-pulls list subscriptions :) > 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 > > -- > PHP Internals - PHP Runtime Development Mailing List > To unsubscribe, visit: http://www.php.net/unsub.php > -- -- Tjerk