AFAICT, some Github PRs etc are not being sent to Whimsy lists. For example, I cannot find any trace of https://github.com/apache/whimsy/pull/106
Is that intentional, or has Github not been set up correctly? (It's possible that there is an issue due to whimsy != whimsical) Personally, I would expect to see such emails on the dev or notifications list.
