Connect github pull request messages to dev mailing list

[Jo-Philipp Wich]

Hi,

do you happen to know how this can be done?

I took a brief look on Github and it appears that we can add an "Email"
service and set a mailing list address as recipient. We can even add a
secret preauth token to circumvent moderation requirements.

What I don't see though is how to limit that service to just a subset of
notifications (like PR chatter).

Anyone with experience on that here?

~ Jo