Can we move the github PR discussions away to a different list... I suggest we create a list called [email protected]
We could use it for all the github PRs notifications.. and eventually low level discussions. We should still keep general discussions on the dev list. That would probably improve communication style and decrease noise. And.. do I need a VOTE for that? or just consensus here?
