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

Hi,

Zen Fu and I have planned to upgrade our Jenkins and most of its
plugins next week.

Current plan is:

- July 9, 06:00 UTC: put Jenkins in shutdown mode, i.e. no new builds
are started

- July 9, noon UTC: deploy the upgrade, fix immediately visible
problems, disable shutdown mode

- July 10, noon UTC: fix remaining problems

If this conflicts with your plans, please let us know.

Cheers!