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
