After asking on users@infra, I've filed https://issues.apache.org/jira/browse/INFRA-19243.
Thanks, Nick On Sat, Sep 28, 2019 at 7:02 PM Guanghao Zhang <zghao...@gmail.com> wrote: > +1. Too many emails now. > > 张铎(Duo Zhang) <palomino...@gmail.com> 于2019年9月29日周日 上午9:28写道: > > > +1 > > > > Andrew Purtell <andrew.purt...@gmail.com> 于2019年9月29日周日 上午9:08写道: > > > > > +1 > > > > > > Didn’t realize this was an option for PRs. > > > > > > > On Sep 28, 2019, at 10:17 AM, Nick Dimiduk <ndimi...@apache.org> > > wrote: > > > > > > > > Heya, > > > > > > > > I would like our dev@ subscription to gitbox notifications to match > > > that of > > > > our JIRA notifications — just open, close of issues. Right now we’re > > > > getting every comment. Like JIRA, users are able to “watch” > individual > > > PRs > > > > that they find to be of interest. > > > > > > > > Any objections if I engage infra on making this change? > > > > > > > > Thanks, > > > > Nick > > > > > >