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.

Installs
2
GitHub Stars
943
First Seen
8 days ago