Am 07/11/2017 um 10:49 schrieb Jaromil:
> dear devs,
>
> On Tue, 07 Nov 2017, KatolaZ wrote:
>
>> just to note that ci.devuan.org is still down. We need it to proceed
>> with builging packages for ascii, and it seems that what is needed is
>> just to restart jenkins. Who has access to that machine? (not enough
>> of us, perhaps).
>
> I have killed an hanging jenkins (java) process and then started it.
> It works now.
>
> To avoid these latencies in the future and according to our roster of
> caretakers, I will distribute access to more of us.

As soon as I get access to that, I'd setup things so jenkins "gets a
kick" automatically whenever this happens, which is pretty much
periodically every 40 days or so :-).

You have my Devuan SSH key already.
--
Evilham