This server has been upgraded to GitLab release 17.10.
cd4030919031842e0510ea519e57f3d6772a7d6d
102 commits (reto.gerber@uzh.ch)