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.

-Chris
ASF Infra






> On Feb 9, 2019, at 4:51 PM, Adrian Cole <[email protected]> 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: [email protected]
For additional commands, e-mail: [email protected]

Reply via email to