Labels

• bot:delete-on-merge

  Delete this branch after merging (bot command)
• bot:do-not-close

  Do not close this PR, even if it's empty (bot command)
• bot:keep-updated

  Keep this PR updated from its base branch (bot command)
• bug

  Something isn't working
• chore

  Regular code maintenance
• dependencies

  Pull requests that update a dependency file
• documentation

  Improvements or additions to documentation
• enhancement

  New feature or request
• feature-request

  New feature or request
• github-actions

  Pull requests that update GitHub Actions code
• hotfix

  Something isn't working and needs to be fixed ASAP
• major

  Backward-incompatible API changes
• minor

  New functionality, backward-compatible
• non-functional

  A non-functional change
• patch

  Backward compatible bug fixes
• python

  Pull requests that update Python code
• refactor

  No/low functional changes
• release

  PR for a new release
• skip-changelog

  Skip the changelog
• sync
• tests

  Pull requests that update tests
• tools

  PR for updating the tools used in this repo