skills-to-github-push

name	skills-to-github-push
description	Commit and push agent-skill changes to the user's private skills GitHub repo, rooted at ~/.agents. Use after creating or updating any skill, when David says "push the skill", "push skills to github", "save the skill to my repo", or "update the skills repo". Handles staging, committing, pushing, and cleaning up the cmux pane used to do it.

Push Skills to GitHub

For committing any skill change to the user's private skills repo: git root ~/.agents (this is also the canonical skill folder; .claude and .pi/agent/skills symlink to ~/.agents/skills).

Use this after creating or editing a skill. If the skill is distributed to all agents, do that first (distribute-skill-to-all-agents), then run this to push the canonical copy.

Steps

1. Open a fresh cmux pane in the current workspace, no focus steal:

   cmux new-pane --type terminal --direction right --workspace "$CMUX_WORKSPACE_ID" --focus false
   cmux list-panes --workspace "$CMUX_WORKSPACE_ID"   # note the NEW pane + its surface ref
   

2. Stage, commit, push in ~/.agents (send to the new pane's surface):

   cmux send --surface surface:NEW 'cd ~/.agents && git add -A && git commit -m "<concise message>" && git push'
   cmux send-key --surface surface:NEW enter
   

3. Verify the push landed:

   sleep 2
   cmux read-screen --surface surface:NEW | tail -15   # expect "main -> main"
   

4. Close the pane once confirmed:

   cmux close-surface --surface surface:NEW
   cmux list-panes --workspace "$CMUX_WORKSPACE_ID"    # confirm the pane is gone
   

Notes

• Always run git from ~/.agents (the repo root), not ~/.agents/skills.
• Write a concise, specific commit message describing the skill change.
• Only push to GitHub when David asks. Don't push speculatively.