CI: don't let cached pirate.html overwrite the committed one

The 'Restore deployed dashboards' actions/cache step runs after
checkout and replaces cloudflare/public/*.html with whatever was
in the previous run's cache. That meant a freshly-committed
pirate.html (or index/404) would silently lose to a stale cached
copy, with no error.

Two-part fix:
- Exclude the committed dashboards from the cache path (! patterns),
  so future cache saves don't re-store them.
- After the restore, force git checkout of the three committed
  dashboards, which handles the existing cache (which still has
  the stale copies) and any future drift.

Co-Authored-By: Claude Opus 4.7 (1M context) <noreply@anthropic.com>

Author: pirate

.github/workflows/mine-and-deploy.yml

@@ -60,15 +60,31 @@ jobs:
       # replaces the assets dir on deploy. Single shared key — every run
       # restores the latest snapshot of all deployed dashboards, adds /
       # refreshes its own user(s), and writes back the full set.
+      #
+      # Exclude committed dashboards (pirate, index, 404) from the cache
+      # so old versions can't overwrite the just-checked-out repo files
+      # when this step restores. We also explicitly re-apply them from
+      # git after the restore (next step) — defends against the case
+      # where the existing cache still contains them from a previous run.
       - name: Restore deployed dashboards
         uses: actions/cache@v4
         with:
           path: |
             cloudflare/public/*.html
+            !cloudflare/public/pirate.html
+            !cloudflare/public/index.html
+            !cloudflare/public/404.html
           key: deployed-htmls-v1-${{ github.run_id }}
           restore-keys: |
             deployed-htmls-v1-
 
+      - name: Re-apply committed dashboards from git
+        run: |
+          git checkout HEAD -- \
+            cloudflare/public/pirate.html \
+            cloudflare/public/index.html \
+            cloudflare/public/404.html
+
       - name: Install gh CLI
         run: |
           type -p gh >/dev/null || (