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
