Skip to content

No labels!

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

bug
bug
Something isn't working
dependencies
dependencies
Pull requests that update a dependency file
dework
dework
will pull this task into dework
do not merge
do not merge
documentation
documentation
Improvements or additions to documentation
dune team
dune team
created by dune team
duplicate
duplicate
This issue or pull request already exists
easy
easy
enhancement
enhancement
New feature or request
epic
epic
Generally used to record a long list of incremental tasks
good first issue
good first issue
Good for newcomers
help wanted
help wanted
Extra attention is needed
hotfix
hotfix
in review
in review
Assignee is currently reviewing the PR
invalid
invalid
This doesn't seem right
labels
labels
migration
migration
Resubmit after migration
question
question
Further information is requested
ready-for-final-review
ready-for-final-review
ready-for-merging
ready-for-merging
ready-for-review
ready-for-review
this PR development is complete, please review
WIP
WIP
work in progress
wontfix
wontfix
This will not be worked on