Re: Pull request redirection to mailing list
| From: | Derick Rethans | Date: | Mon, 09 Jun 2014 11:11:38 +0000 |
| Subject: | Re: Pull request redirection to mailing list | ||
| References: | 1 2 | Groups: | php.internals |
| Request: | Send a blank email to internals+get-74792@lists.php.net to get a copy of this message | ||
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.
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