[isabelle-dev] Server outage at TUM

[Lars Hupel]

Dear Isabelle developers,

I've just been informed that some of our servers have to be physically 
transferred to a different location. Consequently, they will be offline 
for a (hopefully) brief amount of time.

This affects the following services:

* isabelle-all builds (build on push for Isabelle & AFP repositories)
* all testboard builds
* all applications on lxcisa0

In order to avoid build jobs piling up, I will shut down Jenkins too.

However, the AFP submission system should remain unaffected.

Cheers
Lars