Serialise CI deploys to GitHub Pages

.github/workflows/ci.yml

@@ -25,6 +25,10 @@ jobs:
     runs-on: ubuntu-latest
     if: github.ref == 'refs/heads/master'
     needs: test
+    # Both build jobs push to the same GitHub Pages repository, so they must not overlap
+    concurrency:
+      group: gh-pages-deploy
+      cancel-in-progress: false
     env:
       TW5_BUILD_TIDDLYWIKI: "./tiddlywiki.js"
       TW5_BUILD_MAIN_EDITION: "./editions/prerelease"
@@ -56,6 +60,10 @@ jobs:
     runs-on: ubuntu-latest
     if: github.ref == 'refs/heads/tiddlywiki-com'
     needs: test
+    # Both build jobs push to the same GitHub Pages repository, so they must not overlap
+    concurrency:
+      group: gh-pages-deploy
+      cancel-in-progress: false
     env:
       TW5_BUILD_TIDDLYWIKI: "./node_modules/tiddlywiki/tiddlywiki.js"
       TW5_BUILD_MAIN_EDITION: "./editions/tw5.com"

bin/build-tw-org.sh

@@ -93,5 +93,5 @@ git config --global user.name "GitHub Actions"
 git add -A .
 git commit --message "GitHub build: $GITHUB_RUN_NUMBER of $TW5_BUILD_BRANCH ($(date +'%F %T %Z'))"
 git remote add deploy "https://$GH_TOKEN@github.com/TiddlyWiki/tiddlywiki.org-gh-pages.git" &>/dev/null
-git push deploy main &>/dev/null
+git push deploy main
 popd

bin/ci-push.sh

@@ -11,5 +11,5 @@ git config --global user.name "GitHub Actions"
 git add -A .
 git commit --message "GitHub build: $GITHUB_RUN_NUMBER of $TW5_BUILD_BRANCH ($(date +'%F %T %Z'))"
 git remote add deploy "https://$GH_TOKEN@github.com/TiddlyWiki/tiddlywiki.com-gh-pages.git" &>/dev/null
-git push deploy master &>/dev/null
+git push deploy master
 cd ..