Am 2019-03-01 um 21:50 schrieb Mark Thomas:
On 01/03/2019 19:54, Mark Thomas wrote:
On 01/03/2019 19:00, Coty Sutherland wrote:
The email notifications work for when we push commits to the repository,
but it looks like we're missing emails when PRs are opened.
ACK. I'll talk to infra.
Fixed.
FYI we have the option to route commits to one location and PRs +
comments to another. At the moment, everything goes to dev@
Some projects have separate commits@ and notifications@ lists (and
possibly issues@ as well).
Personally, I like it all in one place and tend to filter everything
into a single folder anyway. But I wanted to mention that the option was
there.
I'd opt for commits to commits@ and PRs to dev@. For those who'd like
see commits will need to subscribe to it. Commits on dev@ produce a lot
of traffic not necessarily related to dev discusssions.
Michael
---------------------------------------------------------------------
To unsubscribe, e-mail: dev-unsubscr...@tomcat.apache.org
For additional commands, e-mail: dev-h...@tomcat.apache.org
