Hi everyone
The bug mailing list (php-bugs@lists.php.net) and Pull Request mailing
list (git-pulls@lists.php.net) send e-mails when new bugs/PRs are
created or closed but also when anyone comments on those. This mimics
GitHubs watch functionality. Thus those two mailing lists have become
somewhat redundant since the full switch to GitHub.
GitHubs behavior causes high amounts of noise. As a maintainer, I'd
like to be notified when new bugs or PRs are created. If I'm qualified
to answer I will usually take action right away which will
automatically subscribe me to the given item. If I'm not taking action
it might be because somebody else is already dealing with it or
because I'm not qualified. In both of those cases, I would like to not
receive any further notifications when new comments are added.
To achieve this, we can repurpose the existing mailing lists to not
send notifications on issue/PR comments.
https://github.com/php/web-master/pull/13
If somebody wants to keep the old notification behavior they can watch
the repository on GitHub which should give you almost identical
behavior. One difference is that GitHub also send e-mails when new
commits are pushed to pull requests. This can be disabled in the
preferences.
https://github.com/settings/notifications -> Email notification
preferences -> Pull Request pushes
(You'll note that there's also a "Comments on Issues and Pull
Requests" option, but that would mean that you're also not notified on
issues you're explicitly subscribed to.)
Let me know if you object to that change. I'd like to merge this soon
to make maintenance easier.
Ilija