zipkin-dev mailing list archives

Site index · List index
Message view « Date » · « Thread »
Top « Date » · « Thread »
From Chris Lambertus <>
Subject Re: Is sending all gitbox to the dev list common?
Date Sun, 10 Feb 2019 00:58:13 GMT

We’ve been discussing this recently within Infra. Gitbox by default sends github PR notifications
to dev@. We can change that to any list, so if you want you can just create a new list and
request the notifications be changed. If people aren’t interested in them, they do not need
to subscribe to the list.

I don’t think we’ve had these notifications sent out previously (prior to gitbox) but
I believe we are required to capture the notifications on a list.

ASF Infra

> On Feb 9, 2019, at 4:51 PM, Adrian Cole <> wrote:
> Hi!
> We've had some complaints of spam, and currently we've only migrated 2
> repositories. I'm wondering what practices people are doing besides
> filtering all gitbox to trash.
> Notably, this is about redundant notifications of issue updates
>  * most are already watching the repos in question or intentionally
> ignoring those they don't care about
> Is there a way this can be tuned so that every dev doesn't need to
> setup an email filter? Are some using a different email list to allow
> people who aren't on github to search for the same messages github
> sends?
> Best,
> Adrian
> Zipkin PPMC

To unsubscribe, e-mail:
For additional commands, e-mail:

View raw message