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
Use git tag command to add a new one: git tag -a v1.4 -m 'version 1.4'
