The dev@ list can be dominated by github discussions.
We have feeds from github PRs and JIRA. We could split the list in one
list per feed to leave the dev@ list for people.
While you can do this with mail client rules, searching using the
archives isn't easy.
Suggestion:
Add email lists for:
pr@ -- github pull request discussions.
issues@ -- JIRA
I'm not sure how clever we can be - for example, it would be nice for
dev@ to get an email for the submission of a pull request, then not the
discussion, but I don't think that is configurable. (It is all INFRa
consifuration anyway AFAIK).
These names are the ones I have seen other projects use.
Thoughts?
What have you seen work for other projects?
Andy