+1 Both GitHub issues and dev@ are aimed for development-related topics. It will be great if we could have a all-in-one place for discussion, and I believe Sheng's proposal is the answer.
On 2018/07/16 03:32:06, Sheng Zha <szha....@gmail.com> wrote: > Hi, > > I'm starting a vote on subscribing dev@ to Github activities. See previous > discussion thread here > <https://lists.apache.org/thread.html/3d883f6a3cbc8e81e810962e0c0fe7bfd01f0b78d3cb44034f566442@%3Cdev.mxnet.apache.org%3E> > . > > The vote lasts for three days and ends on 7/18/2018 at 9pm pst. > > -sz >