Github PR emails from Skara bots stalled since yesterday

David Holmes david.holmes at
Fri Apr 1 06:18:21 UTC 2022

Hi Christoph,

On 1/04/2022 3:40 pm, Langer, Christoph wrote:
> 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?

We are aware and it is being looked into.


> Thanks
> Christoph

More information about the skara-dev mailing list