GitLab update scheduled for Friday, October 22th between 08:15 and 08:45 CEST. If unpleasant, please contact René or Martin.

Labels can be applied to issues and merge requests to categorize them.

You can also star a label to make it a priority label.