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