-1 It's a lot of traffic, whomever wants to subscribe can do it in github. I'm afraid it will decrease signal to noise ratio in the list.
On Thu, Jul 12, 2018 at 11:32 PM Lin Yuan <apefor...@gmail.com> wrote: > +1 > > On Thu, Jul 12, 2018 at 12:26 PM Anirudh Acharya <anirudhk...@gmail.com> > wrote: > > > +1 > > > > On Thu, Jul 12, 2018 at 11:51 AM Piyush Ghai <ghai.piy...@gmail.com> > > wrote: > > > > > +1 > > > > On Jul 12, 2018, at 11:50 AM, Tianqi Chen <tqc...@cs.washington.edu> > > > wrote: > > > > > > > > +1 > > > > > > > > On Thu, Jul 12, 2018 at 11:10 AM, Sheng Zha <szha....@gmail.com> > > wrote: > > > > > > > >> Hi all, > > > >> > > > >> Should we subscribe dev list to github updates on mxnet repo? Both > > > github > > > >> issues/PRs and the dev list are intended for technical discussions > and > > > in > > > >> that aspect largely share the same goal. Since MXNet has most > activity > > > >> github, this could help dev@ to become more active. Some pros and > > cons: > > > >> > > > >> Pros: > > > >> - There have been many high quality discussions that happen on > github > > to > > > >> which the dev list can benefit. > > > >> - Replies on update emails are reflected on the specific issue/PR. > > > >> - Users can also choose to click on the link and go to github to > > > >> participate in discussion. > > > >> - We still have the ability to carry out dev@ only conversation. > > > >> > > > >> Cons: > > > >> - Higher volume on dev list. > > > >> - Some discussions might not be suitable for dev@. (though I can't > > > think > > > >> of > > > >> why such conversation should happen on github either) > > > >> > > > >> -sz > > > >> > > > > > > > > >
