Labels
All
Name
Labels can be applied to issues and merge requests. Group labels are available for any project within the group.
Labels
15
Area::DSE
Issues
Merge requests
Area::Formal Verification
Issues
Merge requests
Area::Product maintainance
Issues
Merge requests
Hackathon
Issues
Merge requests
JavaFX
Issues
Merge requests
Prio::High
Issues
Merge requests
State::Feedback Requested
Issues
Merge requests
State::In Progress
Issues
Merge requests
State::New
Issues
Merge requests
State::Rejected
Issues
Merge requests
State::Resolved
Issues
Merge requests
Type::Bug
Issues
Merge requests
Type::Change Request
Issues
Merge requests
Type::Feature
Issues
Merge requests
Type::Support
Issues
Merge requests