gitlab.inf.ethz.ch will not be available from Friday, 19 September 2025 18:00 to Saturday, 20 September 2025 18:00 due to an urgent migration. To get announcements by mail please subscribe to our mailinglist https://lists.inf.ethz.ch/mailman/listinfo/gitlab-announce
Felix Oliver Friedrich authoredf5ec8e13Felix Oliver Friedrich authored