pushing-commits-to-the-repo
Installation
SKILL.md
pushing-commits-to-the-repo
Pushing starts a loop; it does not end the task. Work stops only when CI is green AND no comment is left unresolved.
When you open the PR
Apply a label — the repo triages and filters by them. Fetch the real list first with
gh label list --limit 100, because the set changes and a guessed label silently fails to
apply. Pick the one naming what the PR is (bug, feature, docs, chore, refactor) and
add a topic label (anthropic, MCP, evals, …) where one fits:
gh pr edit <number> --add-label <label>.
Labelling needs triage permission on the repo (Pydantic team members and their agents). If it fails, quote the actual error rather than concluding you lack permission. Size labels are applied automatically — don't set them.