on GitHub: - hook: if edits were made, push to workstation (possible ???) on Workstation: - pull from github once an hour, - run deployment script to create gh-pages branch - push gh-pages branch to GitHub
on GitHub:
on Workstation: