Also force-push to gh-pages on PR cleanup

2026-07-27 16:47:11 -07:00 · 2025-06-02 20:52:46 +03:00
parent 05b692f403
commit 224f1088f2
1 changed files with 6 additions and 2 deletions
@@ -29,5 +29,9 @@ jobs:
        run: |
          git config user.name "github-actions[bot]"
          git config user.email "41898282+github-actions[bot]@users.noreply.github.com"
-          git commit -am "🚮 Remove preview for closed PR #${{ github.event.pull_request.number }}"
-          git push
+          if git diff --cached --quiet; then
+            echo "No changes to commit"
+          else
+            git commit --amend -m "🚮 Remove preview for closed PR #${{ github.event.pull_request.number }}"
+            git push --force
+          fi