sage

9905d4e4 - .github/workflows/doc-build.yml: Save/restore the git repo of the built documentation around running doc-clean