Don't track history in gh-pages

This is already in the main branch and it makes the repository bigger than it needs to be. Should slightly improve #343
Wilfred · Aug 27, 2022 · bc40836 · bc40836
1 parent db12fb0
commit bc40836
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/.github/workflows/deploy_docs.yml b/.github/workflows/deploy_docs.yml
@@ -37,3 +37,4 @@ jobs:
         with:
           branch: gh-pages
           folder: manual/book
+          single-commit: true