Labels can be applied to issues and merge requests to categorize them.
You can also star a label to make it a priority label.
Prioritized label
There will be a small downtime on Friday 16.04 between 15:00 and 18:00 (Gitlab upgrade).
If necessary contact me at mateusz.gniewkowski@pwr.edu.pl