I am +0 on this because either way is fine with me as it's really easy to do mail filters on either addresses or on subject tags.
There is a ton of Github traffic right now obviously so to make it manageable I have filters and labels setup on my gmail account so that GitHub related messages get tagged with one label and everything else is a different one which solves the issue. I imagine most email providers have something similar. On Fri, Feb 15, 2019 at 3:20 AM Clebert Suconic <clebert.suco...@gmail.com> wrote: > People are probably missing this discussion because of that noise. > > On Fri, Feb 15, 2019 at 7:47 AM Otavio Piske <opi...@redhat.com> wrote: > > > Sharing my perspective as someone who also would like to contribute more > > often: I think that it be good. > > > > I think that the Github messages create a lot of noise in the mailbox. It > > requires constant cleaning/filtering and it is easy to miss discussions > > about subjects that interest me and for which I would like to help. > > > > On Fri, Feb 15, 2019 at 12:43 AM Clebert Suconic < > > clebert.suco...@gmail.com> > > wrote: > > > > > 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 > > > > > > > > > -- > > Kind regards > > > -- > Clebert Suconic >