Newsgroups: php.internals
Path: news.php.net
Xref: news.php.net php.internals:74856
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: <CAH-PCH4J9ELT3bFpZZtKdrFTePGrmNzjvhvqYYHCQQni4O8-Hg@mail.gmail.com>
Date: Wed, 11 Jun 2014 21:52:46 +0100
Cc: PHP Internals <internals@lists.php.net>
Content-Transfer-Encoding: quoted-printable
Message-ID: <2CAA9808-D6DD-4412-A913-319A6E0E3CAD@ajf.me>
References: <CAH-PCH4J9ELT3bFpZZtKdrFTePGrmNzjvhvqYYHCQQni4O8-Hg@mail.gmail.com>
To: Ferenc Kovacs <tyra3l@gmail.com>
Subject: Re: [PHP-DEV] Pull Request mails for php-src will be going to git-pulls@
From: ajf@ajf.me (Andrea Faulds)


On 11 Jun 2014, at 19:52, Ferenc Kovacs <tyra3l@gmail.com> wrote:
>=20
> There were some vocal feedback about not spamming the list and/or not
> letting the generic traffic of the internals@ making the PR mails =
ignored,
> so I I've changed it to git-pulls@lists.php.net:
> =
http://git.php.net/?p=3Dweb/master.git;a=3Dcommit;h=3Dc5fe83adb08b64267d1a=
5c01a8f301b8cdce55b6
> If you are interested in these mails, you should subscribe that list.

Are you sure that=92s the best idea? I think that redirecting it away =
from internals will make it useless. Few subscribe to git-pulls, and if =
people wanted to opt-in to notifications, they could just =93Watch=94 =
the repo on GitHub themselves. The whole point of mailing the list =
automatically is to stop pull requests being neglected, as many people =
don=92t mail internals when they make a pull request. By pointing it at =
internals, it would not distract from normal mail, not drown things out =
(there aren=92t that many requests). It would, however, ensure such pull =
requests hopefully see more attention.

--
Andrea Faulds
http://ajf.me/