Instance-wide CI Runners have been updated. For details see: https://cs.uni-paderborn.de/en/irb/dienstuebersicht/git-server#server-wide-changes
Use git tag command to add a new one: git tag -a v1.4 -m 'version 1.4'
