Maintenance completed: GitLab

Message-Id: 2022070111829
Time:
Affected: users of gwdg gitlab
Impact: service available again

The maintenance work ended yesterday (June 30) around 10 p.m., the service is now fully available again.