+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 > >> > >