Labels

• area=ci

  area=ci

  Related to CI

• area=docs

  area=docs

  Related to documentation

• area=infra

  area=infra

  Related to infra

• area=source

  area=source

  Related to source code

• dependencies

  dependencies

  Pull requests that update a dependency file

• github_actions

  github_actions

  Pull requests that update GitHub Actions code

• platform=all

  platform=all

  Affects or is relevant to all supported platforms

• platform=unix

  platform=unix

  Affects or is relevant to Unix-based platforms

• platform=windows

  platform=windows

  Affects or is relevant to Windows platforms

• pre_commit

  pre_commit

  Pull requests that update pre_commit code

• python:uv

  python:uv

  Pull requests that update python:uv code

• status=duplicate

  status=duplicate

  This issue duplicates an existing one

• status=fixed

  status=fixed

  The issue has been resolved

• status=in-progress

  status=in-progress

  Work is actively being done on this issue

• status=invalid

  status=invalid

  The issue is not valid

• status=obsolete

  status=obsolete

  The issue is outdated or no longer relevant

• status=research

  status=research

  The issue is under investigation or requires further exploration

• status=triaged

  status=triaged

  The issue has been reviewed and prioritized

• status=will-not-fix

  status=will-not-fix

  The issue has been acknowledged but won’t be addressed

• status=working-as-intended

  status=working-as-intended

  The behavior reported is correct and not a bug

• type=addition

  type=addition

  A new feature or capability is being introduced

• type=defect

  type=defect

  A bug or error that needs to be fixed

• type=documentation

  type=documentation

  Related to docs: missing info, typos, updates, or improvements

• type=enhancement

  type=enhancement

  Improves an existing feature or component

• type=other

  type=other

  Miscellaneous activities not covered by other type= labels

• type=performance

  type=performance

  Targets speed, efficiency, or resource optimization