tomcat-dev mailing list archives

Site index · List index
Message view « Date » · « Thread »
Top « Date » · « Thread »
From Mark Thomas <>
Subject Re: Git migration read for testing
Date Fri, 01 Mar 2019 20:50:03 GMT
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.


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


To unsubscribe, e-mail:
For additional commands, e-mail:

View raw message