Labels

Something isn't working

Pull requests that update a dependency file

Improvements or additions to documentation

This issue or pull request already exists

New feature or request

Pull requests that update GitHub Actions code

Good for newcomers

Extra attention is needed

Pull requests that update Javascript code

Reproduction or exact bug definition needed

Pull requests that update nix code

Further information is requested

Pull requests that update Rust code

Post-merge into the default branch; should be backported to the release branch for version 0.5.x

Post-merge into the default branch; should be backported to the release branch for version 0.6.x

This will not be worked on