Prioritized labels
Drag to reorder prioritized labels and change their relative priority.
Other labels
propose-to-make-optional
HIFIS / Overall / hifis.net
propose to downgrade from "final" to optional / later deadlines (later milestones) / delete
Progress::6_Can merge
HIFIS
For merge requests that have completed the review and may be merged by anyone
Progress::4_Can review
HIFIS
For merge requests who's main task has been fulfilled and are open to reviewing
Prioritized