[External] : RE: Bots for backports down?

[Kevin Rushforth]

I see that the bots were restarted again overnight, and are working again.

-- Kevin

On 8/2/2022 1:33 AM, Langer, Christoph wrote:
>
> Hi,
>
> looks like the bot got stuck again: 
> https://github.com/openjdk/jdk11u-dev/pull/1297 
> <https://urldefense.com/v3/__https://github.com/openjdk/jdk11u-dev/pull/1297__;!!ACWV5N9M2RV99hQ!J65iM7brxONxbdg9jLAIZLzWzGtuTNkgdetIhDRxFZI5bKc8l6M2QbhtY5EX-bom2t4OkUAcivufUtnbBR2gCorkQAggWw$>
>
> 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://urldefense.com/v3/__https://github.com/openjdk/jdk17u-dev/pull/616__;!!ACWV5N9M2RV99hQ!J65iM7brxONxbdg9jLAIZLzWzGtuTNkgdetIhDRxFZI5bKc8l6M2QbhtY5EX-bom2t4OkUAcivufUtnbBR2gCoqaHC9xfw$>
>
>     https://github.com/openjdk/jdk11u-dev/pull/1294
>     <https://urldefense.com/v3/__https://github.com/openjdk/jdk11u-dev/pull/1294__;!!ACWV5N9M2RV99hQ!J65iM7brxONxbdg9jLAIZLzWzGtuTNkgdetIhDRxFZI5bKc8l6M2QbhtY5EX-bom2t4OkUAcivufUtnbBR2gCop4y2A8Fg$>
>
>     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/b2ef4bb3/attachment-0001.htm>