Prioritized Labels
Drag to reorder prioritized labels and change their relative priority.
Other Labels
backport
Should be ported back to current release
ag-ohlberger / dune-community
bug
Type: Bug.
ag-ohlberger / dune-community
confirmed
ag-ohlberger / dune-community
discussion
Type: Discussion.
ag-ohlberger / dune-community
documentation
Type: Documentation. This issue serves documentation purposes.
ag-ohlberger / dune-community
feature request
ag-ohlberger / dune-community
infrastructure
Buildsystem, packages and CI
ag-ohlberger / dune-community
invalid
ag-ohlberger / dune-community
management
Project management
ag-ohlberger / dune-community
mrchange
Change in existing functionality
ag-ohlberger / dune-community
mrdeprecation
Deprecates existing functionality
ag-ohlberger / dune-community
mrfix
Fixes a bug
ag-ohlberger / dune-community
mrnew-feature
Introduces a new feature
ag-ohlberger / dune-community
mrremoval
Removes a feature
ag-ohlberger / dune-community
Prioritized label