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 ? Rémy
