From ffb26ccc5e47b85317a8e98e7011edb5d6d6f48b Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Mos=C3=A8=20Giordano?= <mose@gnu.org>
Date: Thu, 6 Nov 2025 23:14:24 +0000
Subject: [PATCH] [CI] Fix condition for cleaning up previews

This wasn't running on PR closed but on schedule/workflow dispatch.
---
 .github/workflows/DocPreviewsCleanup.yml | 9 ++++-----
 1 file changed, 4 insertions(+), 5 deletions(-)

diff --git a/.github/workflows/DocPreviewsCleanup.yml b/.github/workflows/DocPreviewsCleanup.yml
index 4f385804..f8a2c8a3 100644
--- a/.github/workflows/DocPreviewsCleanup.yml
+++ b/.github/workflows/DocPreviewsCleanup.yml
@@ -25,12 +25,11 @@ jobs:
           ref: gh-pages
       - name: Delete preview and history + push changes
         run: |
-          preview_directory=previews/PR${{ github.event.number }}
-          if [[ -d "${preview_directory}" ]]; then
+          if [[ -d previews ]]; then
             git config user.name "${{github.actor}}"
             git config user.email "${{github.actor_id}}+${{github.actor}}@users.noreply.github.com"
-            git rm -rf "${preview_directory}"
-            git commit -m 'Cleanup docs for PR #${{ github.event.number }}'
+            git rm -rf previews/
+            git commit -m 'Delete previews directory'
             git branch gh-pages-new $(echo "Delete history" | git commit-tree HEAD^{tree})
-            git push --force origin gh-pages-new:gh-pages
+            git push --force-with-lease origin gh-pages-new:gh-pages
           fi