Bots for backports down?

[Langer, Christoph]

Hi,

looks like the bot got stuck again: https://github.com/openjdk/jdk11u-dev/pull/1297

Best regards
Christoph

From: jdk-updates-dev <jdk-updates-dev-retn at openjdk.org> On Behalf Of Kevin Rushforth
Sent: Montag, 1. August 2022 15:00
To: Lindenmaier, Goetz <goetz.lindenmaier at sap.com>; ops at openjdk.java.net
Cc: jdk-updates-dev <jdk-updates-dev at openjdk.java.net>
Subject: Re: Bots for backports down?

There was a general problem with the bots getting stuck. It should be resolved now.

-- Kevin

On 8/1/2022 2:33 AM, Lindenmaier, Goetz wrote:
Hi,

my recent backports have not been handled by the bots:
https://github.com/openjdk/jdk17u-dev/pull/616
https://github.com/openjdk/jdk11u-dev/pull/1294

Is this issue known already?
Could someone please have a look?

Thanks!
  Goetz.

-------------- next part --------------
An HTML attachment was scrubbed...
URL: <https://mail.openjdk.org/pipermail/jdk-updates-dev/attachments/20220802/f7d7f22e/attachment-0001.htm>