GitLab has been successfully upgraded to Enterprise Edition Ultimate. Please see https://doku.lrz.de/display/PUBLIC/GitLab+Ultimate+Migration for more details.

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

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