Labels

External contribution, needs careful review

Pull requests that update a dependency file

Pull requests that update GitHub Actions code

Automatically create a new major version tag after PR is merged

Merge the PR automatically once all status checks have passed

Automatically create a new minor version tag after PR is merged

Automatically create a new patch version tag after PR is merged