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/
