Labels can be applied to issues and merge requests to categorize them
You can also star a label to make it a priority label.
On January, 8th between 18:30 and 22:00 gitlab.tugraz.at is maybe not available (Reason: maintenance work / gitlab updates).
You can also star a label to make it a priority label.