Merge pull request #4396 from unisonweb/cp/force-push-haddocks

Force push to avoid keeping tons of old docs
unisonweb · Nov 16, 2023 · fe51253 · fe51253
2 parents e0c1dda + a9378c1
commit fe51253
Showing 1 changed file with 5 additions and 7 deletions.
diff --git a/.github/workflows/haddocks.yaml b/.github/workflows/haddocks.yaml
@@ -90,11 +90,9 @@ jobs:
           # Erase any stale files
           cd "$GITHUB_WORKSPACE"/haddocks
           rm -rf ./*
+          git checkout --orphan fresh-haddocks-branch
           cp -r "${docs_root}"/* "$GITHUB_WORKSPACE"/haddocks
-          if [[ -z "$(git status --porcelain)" ]]; then
-            echo No changes.
-          else
-            git add .
-            git commit -m "Regenerated haddocks based on ${GITHUB_SHA}"
-            git push
-          fi
+          git add .
+          git commit -m "Regenerated haddocks based on ${GITHUB_SHA}"
+          # Push the branch with only a single commit over the remote
+          git push --force origin fresh-haddocks-branch:haddocks