Labels

• good first issue

  Good for newcomers
• help wanted

  Extra attention is needed
• part: dependencies
• part: infrastructure

  Issues and PRs related to CI, makefiles, opam, docker, scripts, etc.
• part: plugin

  Issues and PRs related to plugin
• part: printing

  Issues and PRs related to the pretty-printer
• part: remapping

  Issues and PRs related to remapping
• priority: blocker

  Urgently needed
• priority: critical

  Urgently needed
• priority: high

  High priority issue/PR
• priority: low

  Low priority issue/PR
• priority: medium

  Medium priority issue/PR
• state: blocked

  Something blocks completion of this issue or pull request
• state: duplicate

  This issue or pull request already exists
• state: invalid

  This doesn't seem right
• state: needs information

  Further information is requested
• state: review needed

  PR needs review
• state: wontfix

  This will not be worked on
• state: work in progress

  Issue/PR being worked on
• type: bug

  Something isn't working
• type: discussion

  Discussion about a feature
• type: documentation

  Changes to documentation
• type: enhancement

  Enhancement to an existing feature
• type: feature

  New feature request/implementation
• type: feature request

  Feature or enhancement requests
• type: question

  Information is requested
• type: refactor

  Refactorings, code removal, etc
• type: tests

  Code testing