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:
- •Generate Maps: Calls
slideskill'sgenerate_map.pyto update course maps (respectsMapLock). - •Export Slides: Calls
slideskill'sexport.pyto convert all.mdfiles to PDF. - •Cleanup Old PDFs: Calls
slideskill'scleanup_pdf.pyto remove orphaned files. - •Update Index: Regenerates
display/index.htmlto reflect cleaner PDF list, then syncs to rootindex.html. - •Git Sync: Adds all files, commits with "Auto update", and pushes to remote.
- •Generate Maps: Calls
Usage
Run the following command in the project root:
bash
python .agent/skills/git-push/scripts/push.py
Dependencies
- •Requires
.agent/skills/slide/scripts/export.pyto exist. - •Requires
gitto be configured.