Maybe infra did something to re-enable it. We asked them to disable it way back (INFRA-14973). Maybe reopen that ticket or file a new one. On Mon, Oct 8, 2018 at 4:19 PM Alex Bozarth <ajboz...@us.ibm.com> wrote: > > > > Is there a reason we've begun getting GitHub PR emails on the dev list? The > regular glut of emails for every comment on every PR probably shouldn't be > CC'd to dev@ > > > Alex Bozarth > Software Engineer > Center for Open-Source Data & AI Technologies > > > > > E-mail: ajboz...@us.ibm.com > GitHub: github.com/ajbozarth > 505 Howard > Street > San Francisco, > CA 94105 > United > States > > > > >
-- Marcelo
