Hi, I find it difficult to follow the dev mailing list recently, there is a lot of noise because of JIRA and GITHUB. We even get some emails twice (GITHUB comment on JIRA issues).
Some projects have different mailing list to separate all of those. For example: 'issues' for JIRA 'reviews' for Pull Request And I think it could be a good idea to do the same. Anybody has some suggestions?
