Labels
Labels
auto-merge-ok
bug
codex
dependencies
docker
documentation
duplicate
enhancement
github_actions
good first issue
help wanted
human-review-required
invalid
needs-owner-approval
The owner must apply owner-approved before this high-risk pull request can merge.owner-approved
python
python:uv
question
risk:high
risk:low
Documentation, tests or ordinary checks; automated path classification remains authoritative.wontfix