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.