It looks like the Whimsy GitHub instance [1] isn't configured to send PR notifications to any of the Whimsy mailing lists, only to individual watchers.
I think it would make sense for PRs to be sent to the dev@ list, likewise for issues, though I think it would be better if issues were disabled in favour of JIRA, if that is possible. Likewise for the whimsy-whimsical-site GithHub mirror [2] Please advise and I will raise the appropriate JIRA issue. Sebb. [1] https://github.com/apache/whimsy [2] https://github.com/apache/whimsy-whimsical-site
