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, enhancement, documentation) and add a topic label
where one fits (capability, primitive, agent-feature, core-change, code-mode, media,
externalization, ...): gh pr edit <number> --add-label <label>.
Labelling needs triage permission on the repo. If it fails, quote the actual error rather than concluding you lack permission.