matyasstoch/david-skills/skills-to-github-push

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:

``bash 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 ``

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

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

1. Verify the push landed:

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

1. Close the pane once confirmed:

``bash 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.