Skip to content

No labels!

There aren’t any labels for this repository quite yet.

api
api
bug
bug
Something isn't working
build-system
build-system
ci
ci
details required
details required
documentation
documentation
Improvements or additions to documentation
doing
doing
duplicate
duplicate
This issue or pull request already exists
enhancement
enhancement
New feature or request
feature-request
feature-request
fyi
fyi
gitlab merge request
gitlab merge request
good first issue
good first issue
Good for newcomers
has attachment
has attachment
help wanted
help wanted
Extra attention is needed
help-wanted
help-wanted
invalid
invalid
This doesn't seem right
priority::high
priority::high
priority::low
priority::low
project::infis
project::infis
project::reserve
project::reserve
project::rtlab
project::rtlab
project::slew
project::slew
question
question
Further information is requested
refactor
refactor
reproducible
reproducible
stage::backlog
stage::backlog
stage:backlog
stage:backlog
stage::doing
stage::doing