I work on this dev list on my daily basis. We had some members here suggesting doing this in the past and we decided to let just people to filter out stuff with filters. Etc.
But this doesn’t make easy to recruit new open source devs. I just heard from a guy who only subscribed users list because there is too much traffic. Github is easy enough to follow. So I propose we move GitHub comments to a separate list. We could leave this list for more generic and important discussions. Such as the web site. Architectural decisions. Releases. And eventually even codes but without the clutter of github. -- Clebert Suconic
