Notes
These are some notes I want to keep around.
Setup
git clone [email protected]:Sarcasm/notes.git
cd notes
git fetch origin gh-pages
git checkout gh-pages
git checkout master
git worktree add --checkout _pages gh-pages
# configure `git push` to push both branches
git config remote.origin.push refs/heads/master:refs/heads/master
git config --add remote.origin.push refs/heads/gh-pages:refs/heads/gh-pages
Publish changes
After a change has been committed to the main branch, it's possible to publish using this procedure:
make _pages
./commit-pages.sh
git push