Github PR emails from Skara bots stalled since yesterday

[Langer, Christoph]

Hi,

I think as of some time yesterday the flow of mails from Github PRs to the OpenJDK mailing lists has stopped. Can you please check and fix this?

Thanks
Christoph