Mitigate race conditions when committing into the repository

Author: JohT

.github/workflows/internal-cypher-reference-documentation.yml

@@ -52,6 +52,7 @@ jobs:
       # And only run when the generated document changed to avoid an empty commit or an error while committing.
       if: github.event_name == 'push' && env.generated_document_changed
       run: |
+        set -x
         git config --global user.name '${{ env.CI_COMMIT_AUTHOR }}'
         git config --global user.email "[email protected]"
         git fetch origin
@@ -62,4 +63,8 @@ jobs:
         git status
         git rebase --strategy-option=theirs origin/main --verbose
         git status
+        git add ./cypher/CYPHER.md        
+        git status
+        git commit --amend --no-edit
+        git status
         git push --verbose

.github/workflows/internal-environment-variables-reference-documentation.yml

@@ -52,6 +52,7 @@ jobs:
       # And only run when the generated document changed to avoid an empty commit or an error while committing.
       if: github.event_name == 'push' && env.generated_document_changed
       run: |
+        set -x
         git config --global user.name '${{ env.CI_COMMIT_AUTHOR }}'
         git config --global user.email "[email protected]"
         git fetch origin
@@ -62,4 +63,8 @@ jobs:
         git status
         git rebase --strategy-option=theirs origin/main --verbose
         git status
-        git push --verbose
+        git add ./scripts/ENVIRONMENT_VARIABLES.md
+        git status
+        git commit --amend --no-edit
+        git status
+        git push --verbose

.github/workflows/internal-scripts-reference-documentation.yml

@@ -52,6 +52,7 @@ jobs:
       # And only run when the generated document changed to avoid an empty commit or an error while committing.
       if: github.event_name == 'push' && env.generated_document_changed
       run: |
+        set -x
         git config --global user.name '${{ env.CI_COMMIT_AUTHOR }}'
         git config --global user.email "[email protected]"
         git fetch origin
@@ -62,4 +63,8 @@ jobs:
         git status
         git rebase --strategy-option=theirs origin/main --verbose
         git status
-        git push --verbose
+        git add ./scripts/SCRIPTS.md
+        git status
+        git commit --amend --no-edit
+        git status
+        git push --verbose