Labels

Something isn't working

CI rot, Fix läuft

Pull requests that update a dependency file

Improvements or additions to documentation

This issue or pull request already exists

New feature or request

Large multi-issue effort tracking related child issues

Pull requests that update GitHub Actions code

Good for newcomers

Extra attention is needed

This doesn't seem right

Pull requests that update javascript code

PR grün und merge-reif

Needs rebase onto main

Further information is requested

Pull requests that update rust code

Feature is already implemented in code

This will not be worked on