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
ATTENTION: This Gitlab instance will undergo extended maintenance on 2023-04-12 at 06:00 UTC. The downtime will approximately take 1 hour. Please plan ahead accordingly. For questions please contact atlas_admin@aei.mpg.de
You can also star a label to make it a priority label.