PR notifications?

[Greg Stein]

It seems that whimsy isn't configured to send PR notifications somewhere.
Is that intentional?

(my commits appeared on commits@, but nothing on the PR I associated with
them)

Cheers,
-g

ps. not subscribed; please cc: as appropriate