update-html

#!/bin/bash
set -e

AHEAD=$(git rev-list --count html..main)
if [[ $AHEAD == "0" ]]
then
  echo "main branch contains no unmerged commits in branch html"
  exit
fi

git checkout -f html
git merge --ff -m "update-website" main

./snapshot

git add docs
git commit -m "update website"
git checkout main
git push origin html