From 8f375e090f95d5023575dbd4210d6117fccc1a1c Mon Sep 17 00:00:00 2001
From: Jon Harmon <jonthegeek@gmail.com>
Date: Tue, 14 Apr 2026 09:38:14 -0500
Subject: [PATCH] Delete PR branches on close

---
 .github/workflows/pkgdown-cleanup.yaml | 33 ++++++++++++++++++++++++++
 1 file changed, 33 insertions(+)
 create mode 100644 .github/workflows/pkgdown-cleanup.yaml

diff --git a/.github/workflows/pkgdown-cleanup.yaml b/.github/workflows/pkgdown-cleanup.yaml
new file mode 100644
index 0000000..d8ea7c2
--- /dev/null
+++ b/.github/workflows/pkgdown-cleanup.yaml
@@ -0,0 +1,33 @@
+# This workflow removes the pkgdown preview directory when a PR is closed.
+name: Clean up pkgdown preview
+
+on:
+  pull_request:
+    types: [closed]
+
+permissions:
+  contents: write
+
+jobs:
+  clean-pr-preview:
+    runs-on: ubuntu-latest
+    steps:
+      - name: Checkout gh-pages branch
+        uses: actions/checkout@v6
+        with:
+          repository: ${{ github.repository }}
+          token: ${{ secrets.GITHUB_TOKEN }}
+          ref: gh-pages
+
+      - name: Remove PR preview directory
+        run: |
+          pr_dir="pr/${{ github.event.number }}"
+          if [ -d "$pr_dir" ]; then
+            git config --local user.name "$GITHUB_ACTOR"
+            git config --local user.email "$GITHUB_ACTOR@users.noreply.github.com"
+            git rm -rf "$pr_dir"
+            git commit -m "Remove preview for PR #${{ github.event.number }}"
+            git push
+          else
+            echo "Directory $pr_dir does not exist, skipping cleanup."
+          fi