Push Skills to GitHub

SkillAI & models

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.

Available today. Use it from your connected AI after setup.

Connect ahel once, and every AI you use reads what you have installed.

Then ask your AI: use the Push Skills to GitHub skill

What this skill tells your AI

The instructions your AI receives, as published by matyasstoch/david-skills in skills/skills-to-github-push/SKILL.md and read by ahel’s review.

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.

Signals

GitHub stars
59
Forks
11
Last commit
Jun 2026

ahel review

  • S4info
    community integration — published by matyasstoch, not github

Automated review, not a security audit. Ruleset v1.

Advanced
Catalog kind
skill
Gateway key
skills-to-github-push
Source
github.com/matyasstoch/david-skills