Merged
requested to merge 3-repo_name-must-not-contain-hyphens-or-other-illegal-characters-and-project_short_name-is into main
GitLab update scheduled for Friday, March 31st between 08:15 and 08:45 CEST. If unpleasant, please contact René or Martin.