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/
AFAIK it is not a problem with specific lists or list name. git-pulls had some problems with implementation and due to this fact it has been disabled. Correct me if I'm wrong, but AFAIR git-pulls@lists.php.net was set as en email for php-pulls account and people in example were trying to reset password to this account (http://news.php.net/php.git-pulls/446 like here).