-1, unless we can keep this under control. It's not all of the PRs or Issues worthwhile to be involved into discussion. I hope we can put this under control such as @subscribe_dev as a bot to spread the information to dev@.
Thanks, Qing On 7/17/18, 9:26 AM, "Lin Yuan" <apefor...@gmail.com> wrote: +1, I think they are very relevant to dev and as Aaron said we can always set up personalized filter. On Tue, Jul 17, 2018 at 9:21 AM Aaron Markham <aaron.s.mark...@gmail.com> wrote: > +1, I don't read your emails anyways. Just kidding. I think it would be > good to see the action, even if I eventually have to setup filters if it > gets overwhelming. > > On Tue, Jul 17, 2018 at 9:15 AM, Tianqi Chen <tqc...@cs.washington.edu> > wrote: > > > +1, most of issue and PR activities are about development, and they > belong > > to dev. It also helps us to recognizes contributors who are actively > > contributing but less vocal via emails -- there are many of them. > > > > Tianqi > > > > On Tue, Jul 17, 2018 at 8:47 AM, Anirudh <anirudh2...@gmail.com> wrote: > > > > > -1 > > > > > > The low signal to noise ratio would mean that we may miss important > > emails. > > > Even with the different filters that we may setup for dev@, the emails > > > would be too many to not miss the important ones. We would see more and > > > more people starting a design discussion on an issue or PR. Because of > > the > > > low signal to noise ratio on the dev@ list, many may miss these > > > discussions. > > > > > > Slowly, this would erode the purpose of the dev@ list as this means > that > > > you don't really have to do anything explicitly on the dev@ list. > > > You can start a design discussion on a github issue. You can start a > > > vote/discussion on a github issue. > > > > > > Anirudh > > > > > > On Mon, Jul 16, 2018 at 4:35 AM, Timur Shenkao <t...@timshenkao.su> > > wrote: > > > > > > > +1 if my vote can be taken into account > > > > > > > > On Mon, Jul 16, 2018 at 4:32 AM, Sheng Zha <szha....@gmail.com> > wrote: > > > > > > > > > Hi, > > > > > > > > > > I'm starting a vote on subscribing dev@ to Github activities. See > > > > previous > > > > > discussion thread here > > > > > < > https://lists.apache.org/thread.html/3d883f6a3cbc8e81e810962e0c0fe7 > > > > > bfd01f0b78d3cb44034f566442@%3Cdev.mxnet.apache.org%3E> > > > > > . > > > > > > > > > > The vote lasts for three days and ends on 7/18/2018 at 9pm pst. > > > > > > > > > > -sz > > > > > > > > > > > > > > >