+1 On Thu, Jul 12, 2018 at 12:26 PM Anirudh Acharya <[email protected]> wrote:
> +1 > > On Thu, Jul 12, 2018 at 11:51 AM Piyush Ghai <[email protected]> > wrote: > > > +1 > > > On Jul 12, 2018, at 11:50 AM, Tianqi Chen <[email protected]> > > wrote: > > > > > > +1 > > > > > > On Thu, Jul 12, 2018 at 11:10 AM, Sheng Zha <[email protected]> > 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 > > >> > > > > >
