Admin message

We will perform a patch update today at 20:00 (Berlin time).

No global downtime is expected, but git-related data will be unavailable for a couple of minutes.