Github PR emails from Skara bots stalled since yesterday

[Langer, Christoph]

Hi,

any updates on the mailinglist issue?

Thanks
Christoph

> -----Original Message-----
> From: David Holmes <david.holmes at oracle.com>
> Sent: Freitag, 1. April 2022 08:18
> To: Langer, Christoph <christoph.langer at sap.com>; skara-
> dev at openjdk.java.net; ops at openjdk.java.net
> Cc: jdk-dev at openjdk.java.net
> Subject: Re: Github PR emails from Skara bots stalled since yesterday
> 
> 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.
> 
> Cheers,
> David
> 
> > Thanks
> > Christoph
> >