I agree with Timothy. For all the same points. In my view all these notifications are dev discussion just some of it is occurring inline in GitHub, and having this pull that back to the dev discussion mail list is useful to keep a single place to see all.
Sent from my iPhone > On 6 Dec 2017, at 15:49, Timothy Bish <[email protected]> wrote: > > Personally I don't see a need for this, I've been getting along quite fine > with filters to sort things out, personally I'd say moving would make it more > complicated to keep an eye on what's going on in the community > >> On 12/06/2017 10:00 AM, Clebert Suconic wrote: >> 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? >> > > -- > Tim Bish > twitter: @tabish121 > blog: http://timbish.blogspot.com/ >
