I do not care either way. Gary
On Thu, Oct 12, 2017 at 2:34 PM, Ralph Goers <[email protected]> wrote: > What do others think about the idea of creating a separate mailing list > for emails generated by tools? This list gets a bit noisy from all the > extra emails and I have a hard time filtering this list because of how some > of the emails are generated. > > I would also say that we expect every committer to be subscribed to that > list. > > Ralph >
