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

[Volker Simonis]

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