On Friday, 1st August 9am, we will update GitLab to a new major version. A short downtime of GitLab itself or some of its services will be necessary.
These are automatically created changes. They should include
Please do carefully check the proposed changes and accept the merge if appropriate, or comment to this merge request otherwise.