Scheduled maintenance: GitLab will be upgraded on Tuesday 6 October, 17:00-20:00 (Europe/Prague). Expect brief interruptions of a few minutes. Running CI/CD pipelines may fail and need to be retried.
