From b5d3d1a6fd0efc6d455e5b22648c24782685bd37 Mon Sep 17 00:00:00 2001
From: Yuri Goldfeld <yuri.goldfeld@yahoo.com>
Date: Sat, 24 Feb 2024 23:38:19 -0800
Subject: [PATCH] (WIP)

---
 .github/workflows/main.yml | 15 ++++++++++++++-
 1 file changed, 14 insertions(+), 1 deletion(-)

diff --git a/.github/workflows/main.yml b/.github/workflows/main.yml
index bea2c8f83..3c6404147 100644
--- a/.github/workflows/main.yml
+++ b/.github/workflows/main.yml
@@ -104,6 +104,18 @@ jobs:
     needs: set-vars
     runs-on: ubuntu-latest
     steps:
+      - name: Checkout VERSION file and tag history
+        uses: actions/checkout@v4
+        with:
+          path: 'version_work'
+          sparse-checkout: VERSION
+          fetch-depth: 0 # Get all history regarding tags.
+      - name: Checkout VERSION file and tag history XXX
+        uses: actions/checkout@v4
+        with:
+          path: 'version_work2'
+          sparse-checkout: VERSIONXXX
+          fetch-depth: 0 # Get all history regarding tags.
       - id: compute_proceed_else_not
         name: Compute whether for main jobs to proceed or not
         # For checking whether github.event.head_commit.message starts with needs.set-vars.outputs.doc-commit-message
@@ -123,7 +135,8 @@ jobs:
           if [ '${{ github.ref }}' != 'refs/heads/main' ] || \
              [ '${{ github.event_name }}' != 'push' ] || \
              ! { head --lines=1 $TMP_MSG | fgrep -xq '${{ needs.set-vars.outputs.doc-commit-message }}'; }; then
-            echo 'proceed-else-not=true' >> $GITHUB_OUTPUT
+            # XXX no!  true!
+            echo 'proceed-else-not=false' >> $GITHUB_OUTPUT
           else
             echo 'proceed-else-not=false' >> $GITHUB_OUTPUT
             echo 'The real jobs will not run: earlier `doc-and-release` job checked-in generated docs to `main`.'