#! /bin/bash
set -e

yarn export
git stash -u

git fetch origin gh-pages
git checkout gh-pages 2>/dev/null || git checkout -b gh-pages --track origin/gh-pages
git reset --hard origin/main

git stash pop
git add -A
git commit -m "Build docs site"
git push -f

TAG=$(TZ=America/Los_Angeles date '+doc_portal_%Y-%m-%d-H%HM%M')
git tag $TAG
git push origin $TAG
