On 01/03/2019 20:58, Rémy Maucherat wrote: > On Fri, Mar 1, 2019 at 9:50 PM Mark Thomas <ma...@apache.org> wrote: > >> 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. >> > > Looks like it :) > >> >> 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. >> > > It is true other projects may have more mailing lists, but I'm not > convinced right now. > > BTW, I made a commit on github one hour ago, but it still isn't on gitbox. > Isn't this bad ?
Infra have been dealing with some abusive traffic to Gitbox. It got behind. I think I can manually sync it. Let me look. Yes, I can. Done. Hmm. I might need to manually trigger the commit mails... Mark --------------------------------------------------------------------- To unsubscribe, e-mail: dev-unsubscr...@tomcat.apache.org For additional commands, e-mail: dev-h...@tomcat.apache.org
