Git Push Workflow

This skill automates the process of updating the course materials and syncing them to the repository.

Workflow Status

• Trigger: /git-push (Slash command only)
• Action:

1. Generate Maps: Calls slide skill's generatemap.py to update course maps (respects MapLock). 2. Export Slides: Calls slide skill's export.py to convert all .md files to PDF. 3. Cleanup Old PDFs: Calls slide skill's cleanuppdf.py to remove orphaned files. 4. Update Index: Regenerates display/index.html to reflect cleaner PDF list, then syncs to root index.html. 5. Git Sync: Adds all files, commits with "Auto update", and pushes to remote.

Usage

Run the following command in the project root:

python .agent/skills/git-push/scripts/push.py

Dependencies

• Requires .agent/skills/slide/scripts/export.py to exist.
• Requires git to be configured.