Hi everyone The bug mailing list (php-b...@lists.php.net) and Pull Request mailing list (git-pu...@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 -- PHP Internals - PHP Runtime Development Mailing List To unsubscribe, visit: https://www.php.net/unsub.php
