Labels

Improvements or additions to documentation

Improvements to compatibility with other systems.

Improvements to tests.

This issue or pull request already exists

Good for newcomers

Extra attention is needed

CI, repo automation, other admin tasks

Something isn't working

Back-port changes from one release or branch to another

New feature or request

Further information is requested

Breaks existing public API.

Adds new public API.

No version bump required.

No public API change.

Waiting for another issue.

Needs further discussion and a concrete proposal.

Collecting information required to triage the issue.