mxnet-dev mailing list archives

Site index · List index
Message view « Date » · « Thread »
Top « Date » · « Thread »
From pracheer gupta <pracheer_gu...@hotmail.com>
Subject Re: [VOTE] Subscribe dev@ to Github Activities
Date Tue, 17 Jul 2018 19:37:37 GMT
FWIW: The filter needs to be more complicated than just "from:notifications@github.com". After
all, if someone mentions me directly in PR thread and/or I subscribe to only a particular
PR, those emails will also come from "notifications@github.com". There are ways around that
though.


It might be good to mention this filter in some wiki/webpage somewhere; may save some effort
for people trying to find the right set of filters. It could even be in the welcome email
when one subscribes to this email-list.


Another alternate option: How about choosing an opt-in model rather than an opt-out model?
Having another email list and anyone can subscribe to it if they wish.


Not sure if there is a perfect answer out there for this but in principle I agree that it
will be good to have "push notifications" for all PRs/issue.


-Pracheer

________________________________
From: Junru Shao <junrushao1994@gmail.com>
Sent: Tuesday, July 17, 2018 10:58:33 AM
To: dev@mxnet.apache.org
Subject: Re: [VOTE] Subscribe dev@ to Github Activities

+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 <szha.pvg@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
>

Mime
  • Unnamed multipart/alternative (inline, None, 0 bytes)
View raw message