+1 Both GitHub activities and dev list are places for development. It will be great if we could have a all-in-one place for such discussions. I believe Sheng's proposal is a perfect solution.
On 2018/07/16 03:32:06, Sheng Zha <[email protected]> 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 >
