Labels

Something isn't working

Pull requests that update a dependency file

A documentation issue

This issue or pull request already exists

New feature or request

Pull requests that update GitHub Actions code

Extra attention is needed

Not a bug, still important.

This doesn't seem right

Pull requests that update Javascript code

A meta issue

Pull requests that update Python code

Further information is requested

Let Mergify merge the PR once approved and checks pass

An issue that needs to be triaged by a maintainer

This will not be worked on