There seems to be a surplus of automatically-generated emails on the dev mailing list. Github and Apache's Jira constantly send mails to the dev list.
I'm not sure that anyone finds these useful. Even if they do, I wonder if its better to move them to a separate list. It's possible that everyone has email filters employed to sort this out, but if every subscriber has the same filters employed, it might indicate the need for a separate list. -- Kyle
