Re: [Tails-dev] Planned Jenkins maintenance: July 9-10

Hi,

intrigeri (2020-07-10):
> The above happened but we encountered a major problem that did not
> affect the slightly simpler test environment we had previously tested
> the migration on :(
>
> I'm hopeful we'll manage to fix this today:
>
>> - July 10, noon UTC: fix remaining problems

Done. Jenkins should now work fine again, but we'll only know for sure
in a few hours. We have scheduled another session tomorrow to check
this and fix problems if needed.