Prioritized Labels
Drag to reorder prioritized labels and change their relative priority.
Other Labels
Bug
InstitutMaupertuis
Continuous integration
InstitutMaupertuis
Documentation
InstitutMaupertuis
Enhancement
InstitutMaupertuis
New feature
InstitutMaupertuis
Prioritized label