mxnet-dev mailing list archives

Site index · List index
Message view « Date » · « Thread »
Top « Date » · « Thread »
From pracheer gupta <>
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 "". 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 "". There are ways around that

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.


From: Junru Shao <>
Sent: Tuesday, July 17, 2018 10:58:33 AM
Subject: Re: [VOTE] Subscribe dev@ to Github Activities


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 <> wrote:
> Hi,
> I'm starting a vote on subscribing dev@ to Github activities. See previous
> discussion thread here
> <>
> .
> The vote lasts for three days and ends on 7/18/2018 at 9pm pst.
> -sz

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