We will perform a patch update today at 15:00 (Berlin time). No global downtime is expected.
No-thrills / uni-directional git mirroring.