Newsgroups: php.internals
Path: news.php.net
Xref: news.php.net php.internals:74791
Mailing-List: contact internals-help@lists.php.net; run by ezmlm
Received-SPF: pass (pb1.pair.com: domain gmail.com designates 209.85.216.179 as permitted sender)
MIME-Version: 1.0
In-Reply-To: <68103BA8-AC01-422E-B41E-B2F00C620A5D@ajf.me>
References: <68103BA8-AC01-422E-B41E-B2F00C620A5D@ajf.me>
Date: Mon, 9 Jun 2014 10:08:48 +0100
Message-ID: <CAPg3Xx+w+WAjakRLAHguaYwA9gU6CSuVe8L0t4BAr8KPdCW1ug@mail.gmail.com>
To: Andrea Faulds <ajf@ajf.me>
Cc: Internals <internals@lists.php.net>
Content-Type: multipart/alternative; boundary=089e0139ffde8c230b04fb63918d
Subject: Re: [PHP-DEV] Pull request redirection to mailing list
From: petercowburn@gmail.com (Peter Cowburn)

--089e0139ffde8c230b04fb63918d
Content-Type: text/plain; charset=UTF-8
Content-Transfer-Encoding: quoted-printable

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 go ne=
glected.
> To solve this, I propose an account be set up which would =E2=80=9Cwatch=
=E2=80=9D the repo
> on GitHub and then have its email address be redirected to internals. Thi=
s
> would mean internals would be notified of every new pull request.
>

So, something like git-pulls@lists.php.net ?


>
> Could this happen?
>
> Thanks.
> --
> Andrea Faulds
> http://ajf.me/
>
>
>
>
>
> --
> PHP Internals - PHP Runtime Development Mailing List
> To unsubscribe, visit: http://www.php.net/unsub.php
>
>

--089e0139ffde8c230b04fb63918d--