Alrighty, thanks. Please discuss, and file an INFRA for us to adjust the PR notifications to what the community would like.
On Fri, Mar 29, 2019 at 4:00 AM sebb <[email protected]> wrote: > On Fri, 29 Mar 2019 at 05:54, Greg Stein <[email protected]> wrote> > > It seems that whimsy isn't configured to send PR notifications somewhere. > > I received a PR mail, but it does not seem to have reached any Whimsy > mailing lists. > > > Is that intentional? > > Not as far as I know. > > If PR mails are enabled, ideally they would not go to commits@ - it > would be nice to keep that for actual changes. > I think dev@ would be better, or possibly notifications@ > > > (my commits appeared on commits@, but nothing on the PR I associated > with > > them) > > > > Cheers, > > -g > > > > ps. not subscribed; please cc: as appropriate >
