Sounds like a good idea.
On 2017-10-12 22:34, Ralph Goers 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
