Labels

• A-ci

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

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

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

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

  This is a feature request issue. Implementations of feature requests use `C-enhancement` instead.
• C-maintenance

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

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

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

  A user question.
• C-request

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

  This is easy.
• E-hard

  This is hard.
• E-help-wanted

  Stuff where we want help.
• E-medium

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

  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.