Labels

Something isn't working

This repo! Helps for internal planning

Pull requests that update a dependency file

This pull request should not be merged yet

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

This doesn't seem right

Pull requests that update Javascript code

Pull requests that update Python code

Further information is requested

Re-transpile JS & re-generate workflows

May be hard to review

Should be of average difficulty to review

Should be easy to review

May be very hard to review

Should be very easy to review

May be extremely hard to review

Trigger PR workflow to update dependencies

This will not be worked on