Labels

• A-ci

  Area: This issue concerns our GitHub Actions setup.
• C-bug

  Category: This is a bug-report. Bug-fix PRs use `C-enhancement` instead.
• C-enhancement

  Category: This is a PR that adds a new feature or fixes a bug.
• C-feature-accepted

  Category: This feature request is accepted.
• C-feature-request

  Category: feature request issue. Implementations of feature requests use `C-enhancement` instead.
• C-maintenance

  Category: This is an issue or PR about stuff such as documentation, GitHub Actions or code quality.
• C-musing

  Category: Stuff like tracking issues or roadmaps. "musings about a better world".
• C-proposal

  Category: A proposal of some kind, and a request for comments.
• C-question

  Category: A user question.
• C-request

  Category: A non-feature request, e.g. "please document the usage of xx".
• E-easy

  Effort: This is easy.
• E-hard

  Effort: This is hard.
• E-help-wanted

  Effort: Stuff where we want help.
• E-medium

  Effort: This is neither `E-easy` not `E-hard`.
• E-needs-mvce

  Effort: This bug is missing a minimal complete and verifiable example.
• T-duplicate

  This is a duplicate of another issue.
• T-good-first-issue

  This issue is good for newcomers.
• T-invalid

  This issue is invalid.
• T-wontfix

  This issue is not a bug, which will not be worked on.