Newsgroups: php.internals
Path: news.php.net
Xref: news.php.net php.internals:74794
Mailing-List: contact internals-help@lists.php.net; run by ezmlm
Received-SPF: pass (pb1.pair.com: domain ajf.me designates 198.187.29.233 as permitted sender)
Content-Type: text/plain; charset=windows-1252
Mime-Version: 1.0 (Mac OS X Mail 7.3 \(1878.2\))
In-Reply-To: <alpine.DEB.2.10.1406091211250.5108@whisky.home.derickrethans.nl>
Date: Mon, 9 Jun 2014 14:38:27 +0100
Cc: Peter Cowburn <petercowburn@gmail.com>,
 Internals <internals@lists.php.net>
Content-Transfer-Encoding: quoted-printable
Message-ID: <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>
To: Derick Rethans <derick@php.net>
Subject: Re: [PHP-DEV] Pull request redirection to mailing list
From: ajf@ajf.me (Andrea Faulds)


On 9 Jun 2014, at 12:11, Derick Rethans <derick@php.net> wrote:

> On Mon, 9 Jun 2014, Peter Cowburn wrote:
>=20
>> On 9 June 2014 02:34, Andrea Faulds <ajf@ajf.me> wrote:
>>=20
>>> Good evening,
>>>=20
>>> It=92s worrying that pull requests to php-src on GitHub often go =
neglected.
>>> To solve this, I propose an account be set up which would =93watch=94 =
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.
>>>=20
>>=20
>> So, something like git-pulls@lists.php.net ?
>=20
> ... right. We already have this.

However, does anyone actually subscribe to that list? If it was on =
internals, I think they=92d 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/