Admin message

Gitlab will be patched between 17:00 and 18:00 today. Only a short interruption should occur.