update book deploying

mattwparas · Dec 22, 2023 · 72bc9ea · 72bc9ea
1 parent 7bdf828
commit 72bc9ea
Showing 1 changed file with 4 additions and 2 deletions.
diff --git a/.github/workflows/docs.yml b/.github/workflows/docs.yml
@@ -29,11 +29,13 @@ jobs:
         git config user.name "Deploy from CI"
         git config user.email ""
         cd gh-pages
+        # Delete the ref to avoid keeping history.
+        git update-ref -d refs/heads/gh-pages
         # There are benchmarks stored in dev/bench/ that we would like to
         # keep around. Otherwise, this just adds the book as a separate
         # directory.
-        rm -rf book
+        rm -rf *
         mv ../book/ .
-        git add .
+        git add book
         git commit -m "Deploy $GITHUB_SHA to gh-pages"
         git push --force --set-upstream origin gh-pages