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