Pull request notification?

[Erik de Bruin]

Hi,

Is it possible to have a notification sent to the dev list (or a new,
dedicated list) when a pull request is added to GitHub? That would help us
in speedily processing those.

Thanks,

EdB