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-unsubscr...@tomcat.apache.org For additional commands, e-mail: dev-h...@tomcat.apache.org