FWIW: The filter needs to be more complicated than just "from:[email protected]". After all, if someone mentions me directly in PR thread and/or I subscribe to only a particular PR, those emails will also come from "[email protected]". There are ways around that though.
It might be good to mention this filter in some wiki/webpage somewhere; may save some effort for people trying to find the right set of filters. It could even be in the welcome email when one subscribes to this email-list. Another alternate option: How about choosing an opt-in model rather than an opt-out model? Having another email list and anyone can subscribe to it if they wish. Not sure if there is a perfect answer out there for this but in principle I agree that it will be good to have "push notifications" for all PRs/issue. -Pracheer ________________________________ From: Junru Shao <[email protected]> Sent: Tuesday, July 17, 2018 10:58:33 AM To: [email protected] Subject: Re: [VOTE] Subscribe dev@ to Github Activities +1 Both GitHub activities and dev list are places for development. It will be great if we could have a all-in-one place for such discussions. I believe Sheng's proposal is a perfect solution. On 2018/07/16 03:32:06, Sheng Zha <[email protected]> wrote: > Hi, > > I'm starting a vote on subscribing dev@ to Github activities. See previous > discussion thread here > <https://lists.apache.org/thread.html/3d883f6a3cbc8e81e810962e0c0fe7bfd01f0b78d3cb44034f566442@%3Cdev.mxnet.apache.org%3E> > . > > The vote lasts for three days and ends on 7/18/2018 at 9pm pst. > > -sz >
