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