tomcat-dev mailing list archives

Site index · List index
Message view « Date » · « Thread »
Top « Date » · « Thread »
From Mark Thomas <ma...@apache.org>
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.

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.

Mark

---------------------------------------------------------------------
To unsubscribe, e-mail: dev-unsubscribe@tomcat.apache.org
For additional commands, e-mail: dev-help@tomcat.apache.org


Mime
View raw message