Hi everyone, there's lots of mails from the Github integration in the dev@ mailing list. It's getting pretty overwhelming. Yes I've created a filter but everyone would need to do that. Other projects have opted to move these kind of things to a "issues" mailing list.
What do you think about that? Cheers, Lars
