[RESULT][VOTE] Subscribe dev@ to Github Activities

[Sheng Zha <sz...@gmail.com>]

Hi,

The vote concluded at 9PM today (2018/07/18), and here are the results:
+1
Timur Shenkao
Aaron Markham
Lin Yuan
Anirudh Acharya
Junru Shao
Yizhi Liu (committer)
Zhi Zhang (committer)
Tianqi Chen (committer)
Sheng Zha (committer)

-1
Qing Lan
Rahul Huilgol
K, S
Anirudh (committer)
Chris Olivier (committer)

The vote thread can be found here
<https://lists.apache.org/thread.html/31bf3463fe4c0565f8c0dd18bfd1b2261b0cb03edd19b81b92d1255f@%3Cdev.mxnet.apache.org%3E>
(and
here
<https://lists.apache.org/thread.html/38840446a0c07d19ded23fcce2d90ff31ebcf07034fec5b418553ab2@%3Cdev.mxnet.apache.org%3E>).
The original discussion thread can be found here
<https://lists.apache.org/thread.html/3d883f6a3cbc8e81e810962e0c0fe7bfd01f0b78d3cb44034f566442@%3Cdev.mxnet.apache.org%3E>
.

According to Apache Voting Process
<https://www.apache.org/foundation/voting.html>, this procedural vote has
now passed.

However, some concerns has come up as part of the discussion on the voting
thread. Specifically, they are about increase in the amount of traffic (and
potentially noise) on dev list, and guidelines on how to manage them. In
light of that, I'd like to request that mentors help us connect with Apache
Infra team and help us explore our options on Github-Dev integration, and
hopefully we could find a solution that achieves the best balance.

For those who are interested, let's follow the best practice and continue
the discussion on managing the integration of Github with dev list in
parallel in the discussion thread
<https://lists.apache.org/thread.html/3d883f6a3cbc8e81e810962e0c0fe7bfd01f0b78d3cb44034f566442@%3Cdev.mxnet.apache.org%3E>.
Thank you.

-sz