Merge branch 'main' into live

Author: github-actions

.github/workflows/auto-publish.yml

@@ -2,7 +2,8 @@ name: auto-publish
 run-name: Automatically publish documentation
 on:
   schedule:
-    - cron: '10 20 * * FRI'
+    - cron: '15 22 * * TUE'
+    - cron: '15 22 * * THU'
 jobs:
   auto-publish:
     runs-on: ubuntu-latest

.github/workflows/autogen-docs.yml

@@ -32,11 +32,25 @@ jobs:
         run: |
           echo "Undoing script file chmod"
           chmod -x ./GenerateDocs.sh
-      - name: Add any changes
+      - name: Get list of remote branches
         run: |
-          echo "Determining if there are any changes"
+          echo "Getting list that includes remote branches"
           git config user.name github-actions
           git config user.email [email protected]
+          {
+            echo 'git_branch_a<<EOF'
+            git branch -a
+            echo EOF
+          } >> "$GITHUB_OUTPUT"
+        id: run_git_branch_a
+      - name: Delete autogen-docs if it exists
+        if: ${{ contains(steps.run_git_branch_a.outputs.git_branch_a, 'remotes/origin/autogen-docs') }}
+        run: |
+          echo "Deleting remote autogen-docs branch"
+          git push origin --delete autogen-docs
+      - name: Add any changes
+        run: |
+          echo "Determining if there are any changes"
           git checkout -b autogen-docs
           git add ../.
       - name: Run git status