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.

Installs
1
GitHub Stars
20.0K
First Seen
Aug 14, 2026
pushing-commits-to-the-repo — pydantic/pydantic-ai