Remove .git for sure

sagemath · Nov 6, 2023 · 3366456 · 3366456
1 parent c4d3fd7
commit 3366456
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/.github/workflows/doc-build.yml b/.github/workflows/doc-build.yml
@@ -162,7 +162,7 @@ jobs:
           EOF
           echo '</head>' >> ./docs/CHANGES.html
           echo '<body>' >> ./docs/CHANGES.html
-          (cd /sage/local/share/doc/sage/html && git diff HEAD^ -- *.html) > ./docs/diff.txt
+          (cd /sage/local/share/doc/sage/html && git diff HEAD^ -- *.html; rm -rf .git) > ./docs/diff.txt
           /sage/sage -python - << EOF
           import re, html
           with open('./docs/diff.txt', 'r') as f: