Re: [Tails-dev] Scheduled CI maintenance: September 19-22

hi!

> From: intrigeri <intrigeri@???>
> Date: Sat, 21 Sep 2019 18:42:35 +0200
>
>>> on September 19-22, the sysadmin team will be upgrading our Jenkins
>>> (#10068). Don't count on CI during these days. We'll let you know once
>>> things are supposed to be back into working shape.
>
> The upgrade went well in our development environment so we deployed it
> to production. We'll come back to it tomorrow.
>
> If you notice any regression, feel free to report to
> tails-sysadmins@??? or by creating a subtask of #10068.
> Thanks in advance!

hello! we finished the upgrade today, and we think jenkins should be
working fine.

if you find issues, please report to: tails-sysadmins@???

thanks!