I think we’re supposed to get notifications. I don’t know if it works or if I set it up right.
I’m still learning the ropes… ;-) Harbs > On Sep 28, 2017, at 12:28 PM, Erik de Bruin <[email protected]> wrote: > > 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
