Problems with GitHub/Skara/JBS/8u-dev integrations?

[David Holmes]

Hi Volker,

On 25/11/2022 8:57 pm, Volker Simonis wrote:
> Wow, it seems like this mail has helped.
> Once I sent it out, my PR was integrated immediately :)
> Looks like the system was just overloaded.

There was a JBS maintenance window around that time which could have 
impacted the bots ability to update the issue prior to integration.

> So the only remaining questions is if there's a way to monitor whats
> going on behind the scenes (i.e. what the Skara bots are doing) if
> this happens again in the future?

Perhaps ask on skara-dev at openjdk.org.

Cheers,
David

> Regards,
> Volker
> 
> On Fri, Nov 25, 2022 at 11:52 AM Volker Simonis
> <volker.simonis at gmail.com> wrote:
>>
>> Hi,
>>
>> I've tried to "/integrate" an approved backport to
>> https://github.com/openjdk/jdk8u-dev but after more than two hours
>> still nothing happened. Are there any known problems with
>> GitHub/Skara/JBS or the specific 8u-dev repo. Usually integrations
>> happen within minutes.
>>
>> Is there any way to monitor whats going on behind the scenes (i.e.
>> what the Skara bots are doing)?
>>
>> Thank you and best regards,
>> Volker
>>
>> PS: my PR is https://github.com/openjdk/jdk8u-dev/pull/183