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.
3f56e375316d85a633498cc4b70cf2f9967f6224
3 commits (bodenstein@mpiib-berlin.mpg.de)