Merge pull request #6 from milespetrov/test02

Add wait for github pages bot to complete

.github/workflows/main.yml

@@ -11,6 +11,9 @@ on:
         tags:
             - v**
 
+concurrency:
+    group: ${{ github.head_ref || github.run_id }}
+
 jobs:
     docs:
         name: Create documentation

.github/workflows/pages-cleanup.yml

@@ -4,6 +4,9 @@ on:
     pull_request_target:
         types: [closed]
 
+concurrency:
+    group: ${{ github.head_ref || github.run_id }}
+
 jobs:
     cleanup-pages:
         name: Cleanup GitHub pages
@@ -31,7 +34,7 @@ jobs:
                   fi
 
             ## Delete the PR demo from gh-pages when the PR is closed
-            - uses: actions/checkout@v3
+            - uses: actions/checkout@v4
               with:
                   ref: 'gh-pages'
 
@@ -40,6 +43,11 @@ jobs:
               run: |
                   git config --global user.email "miles.petrov@ec.gc.ca"
                   git config --global user.name "Miles Petrov"
-                  git rm -r ${{ github.head_ref }}/*
+                  git pull --ff-only origin gh-pages
+                  if [ -d "${{ github.head_ref }}" ]; then
+                    git rm -r "${{ github.head_ref }}/*" || true
+                  else
+                    echo "Directory ${{ github.head_ref }} does not exist or contains invalid characters."
+                  fi
                   git commit -a -m 'Delete PR demo ${{ github.head_ref }}'
-                  git push origin HEAD:gh-pages
+                  git push -f origin HEAD:gh-pages