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
