Bots for backports down?

[Kevin Rushforth]

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/20220801/982b6852/attachment-0001.htm>