Re: Pull Request mails for php-src will be going to git-pulls@
| From: | Andrea Faulds | Date: | Wed, 11 Jun 2014 20:52:46 +0000 |
| Subject: | Re: Pull Request mails for php-src will be going to git-pulls@ | ||
| References: | 1 | Groups: | php.internals |
| Request: | Send a blank email to internals+get-74856@lists.php.net to get a copy of this message | ||
On 11 Jun 2014, at 19:52, Ferenc Kovacs <tyra3l@gmail.com> wrote:
>
> 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=web/master.git;a=commit;h=c5fe83adb08b64267d1a5c01a8f301b8cdce55b6
> If you are interested in these mails, you should subscribe that list.
Are you sure that’s 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 “Watch” the repo on GitHub themselves. The whole point of mailing the list automatically is
to stop pull requests being neglected, as many people don’t 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’t that many requests). It would, however, ensure such pull requests hopefully see more
attention.
--
Andrea Faulds
http://ajf.me/