In the CI, we need to set single-commit: true in the github-pages-deploy-action so the gh-pages branch doesn't make the repo huge. We only need to keep the last commit for the deployed docs.