We will perform a patch update today at 22:00 (Berlin time).
No global downtime is expected, but git-related data will be unavailable for a couple of minutes.
Closes #5 (closed)