Hi, It appears that traffic on dev@ is mainly generated notifications about issues and merged changes. Have you considered setting up a separate list for that? Other projects often use dev@ for discussions and something like commits@ for higher volume auto generated things.
Cheers, Thomas
