push-skills
Push Skills
The canonical repo is ~/.agents, with private remote <private-skills-remote>. Pushes to main trigger the sanitized public mirror at davidondrej/skills. Only the pipeline pushes to the public repo.
Only commit or push when the user requests it. Editing this skill is not permission to publish it. For distributed skill edits, follow distribute-skill-to-all-agents before pushing.
Always include global instructions
The user's standing scope for an authorized /push-skills run includes saved changes to ~/code/AGENTS.md, unless the user explicitly excludes that file. Check it on every run, even when the latest message names a skill. Preserve the conversation's original publishing objective through skill edits, renames, and other follow-up requests.
After fetching, compare the saved global/AGENTS.md with origin/main:global/AGENTS.md. A dirty local checkout may simply lag behind an already published commit; do not use local Git status alone to decide whether the saved content is committed. Transfer genuinely new edits while preserving upstream changes.
Before declaring completion, verify the saved global instructions are committed privately and the substantive updates appear in the public root AGENTS.md. Report that file's result separately from any skill publication. A successful skill push does not complete an AGENTS.md publishing request.