Newsgroups: php.internals
Path: news.php.net
Xref: news.php.net php.internals:74800
Mailing-List: contact internals-help@lists.php.net; run by ezmlm
Received-SPF: pass (pb1.pair.com: domain gmail.com designates 209.85.192.52 as permitted sender)
MIME-Version: 1.0
In-Reply-To: <2BEED3CB-5EAE-4B44-A2C3-9D9ABF6A1797@ajf.me>
References: <68103BA8-AC01-422E-B41E-B2F00C620A5D@ajf.me> <CAPg3Xx+w+WAjakRLAHguaYwA9gU6CSuVe8L0t4BAr8KPdCW1ug@mail.gmail.com>
 <alpine.DEB.2.10.1406091211250.5108@whisky.home.derickrethans.nl> <2BEED3CB-5EAE-4B44-A2C3-9D9ABF6A1797@ajf.me>
Date: Mon, 9 Jun 2014 15:13:26 +0100
Message-ID: <CAPg3XxKcGkHRmRbS_jgoa2MXSE64msN6XT0V-wdZzOcdkP7CTw@mail.gmail.com>
To: Andrea Faulds <ajf@ajf.me>
Cc: Derick Rethans <derick@php.net>, Internals <internals@lists.php.net>
Content-Type: multipart/alternative; boundary=001a11394fb4fba2a104fb67d2ef
Subject: Re: [PHP-DEV] Pull request redirection to mailing list
From: petercowburn@gmail.com (Peter Cowburn)

--001a11394fb4fba2a104fb67d2ef
Content-Type: text/plain; charset=UTF-8
Content-Transfer-Encoding: quoted-printable

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=E2=80=99s worrying that pull requests to php-src on GitHub often g=
o
> neglected.
> >>> To solve this, I propose an account be set up which would =E2=80=9Cwa=
tch=E2=80=9D 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=E2=80=99d 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 thei=
r
> 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/
>
>

--001a11394fb4fba2a104fb67d2ef--