Labels

• bug

  Something isn't working
• documentation

  Improvements or additions to documentation
• duplicate

  This issue or pull request already exists
• effort: large

  Multiple days, significant rework
• effort: medium

  A day or two of work
• effort: small

  A few hours of focused work
• enhancement

  New feature or request
• good first issue

  Good for newcomers
• has-bugs

  Contains known runtime bugs
• help wanted

  Extra attention is needed
• infrastructure

  Build, CI, release, or tooling
• invalid

  This doesn't seem right
• paper-task

  Implements a task described in the paper
• priority: critical

  Blocks paper reproducibility
• priority: high

  Important for paper claims
• priority: low

  Nice to have or already covered
• priority: medium

  Useful but not blocking
• question

  Further information is requested
• status: cherry-pick

  Extract specific files, do not merge wholesale
• status: close

  Recommend closing
• wontfix

  This will not be worked on