Skip to content

No labels!

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

28 labels

Sort
Sort
Alphabetically
Reverse alphabetically
Most issues
Fewest issues
good first issue
good first issue
Good for newcomers
help wanted
help wanted
Extra attention is needed
part: dependencies
part: dependencies
part: infrastructure
part: infrastructure
Issues and PRs related to CI, makefiles, opam, docker, scripts, etc.
part: plugin
part: plugin
Issues and PRs related to plugin
part: printing
part: printing
Issues and PRs related to the pretty-printer
part: remapping
part: remapping
Issues and PRs related to remapping
priority: blocker
priority: blocker
Urgently needed
priority: critical
priority: critical
Urgently needed
priority: high
priority: high
High priority issue/PR
priority: low
priority: low
Low priority issue/PR
priority: medium
priority: medium
Medium priority issue/PR
state: blocked
state: blocked
Something blocks completion of this issue or pull request
state: duplicate
state: duplicate
This issue or pull request already exists
state: invalid
state: invalid
This doesn't seem right
state: needs information
state: needs information
Further information is requested
state: review needed
state: review needed
PR needs review
state: wontfix
state: wontfix
This will not be worked on
state: work in progress
state: work in progress
Issue/PR being worked on
type: bug
type: bug
Something isn't working
type: discussion
type: discussion
Discussion about a feature
type: documentation
type: documentation
Changes to documentation
type: enhancement
type: enhancement
Enhancement to an existing feature
1
type: feature request
type: feature request
Feature or enhancement requests
type: feature
type: feature
New feature request/implementation
type: question
type: question
Information is requested
type: refactor
type: refactor
Refactorings, code removal, etc
type: tests
type: tests
Code testing