diff options
| author | supahgreg <supahgreg@users.noreply.github.com> | 2025-10-16 03:32:52 +0000 |
|---|---|---|
| committer | supahgreg <supahgreg@users.noreply.github.com> | 2025-10-16 03:32:52 +0000 |
| commit | bcb14b4953d99594982859f648d5ce05678a3f05 (patch) | |
| tree | 9657ae936ae0b881f3ebd316815d4b0ba5ebd717 | |
| parent | 102c3983751f3f5d722a979b6a09cac35d873e41 (diff) | |
Fix gh-pages portion of the 'Update Plugins JSON' workflow.
| -rw-r--r-- | .github/workflows/update-plugins-json.yml | 6 |
1 files changed, 4 insertions, 2 deletions
diff --git a/.github/workflows/update-plugins-json.yml b/.github/workflows/update-plugins-json.yml index e3bc0666a..665be2048 100644 --- a/.github/workflows/update-plugins-json.yml +++ b/.github/workflows/update-plugins-json.yml @@ -280,7 +280,7 @@ jobs: - name: Deploy to gh-pages branch run: | - # Save plugins.json to a safe location + # Save plugins.json to a safe location outside the repo cp plugins.json /tmp/plugins.json git config user.name "github-actions[bot]" @@ -290,7 +290,9 @@ jobs: git fetch origin gh-pages 2>/dev/null || true if git rev-parse --verify origin/gh-pages >/dev/null 2>&1; then - # gh-pages exists, check it out + # gh-pages exists + # Remove the local plugins.json first to avoid conflicts + rm -f plugins.json git checkout gh-pages else # Create new orphan gh-pages branch |