Rather than the current Bash scripts, we should use a CI solution like GitHub Actions to deploy. Example action: https://github.com/marketplace/actions/deploy-to-github-pages