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

Reply via email to