Labels

Something isn't working

Pull requests that update a dependency file

Discussion on a topic

This issue or pull request concerns documentation

This issue or pull request already exists

New feature or request

This bug ist fixed

Pull requests that update GitHub Actions code

Good for newcomers

Extra attention is needed

More information is required to proceed

This issue or pull request concerns the on-modify hook

Request for comments

This discussion is resolved

Pull requests that update submodules code

This will not be worked on