Merge branch 'main' into live

Author: github-actions

.github/workflows/autogen-docs.yml

@@ -32,19 +32,19 @@ jobs:
         run: |
           echo "Undoing script file chmod"
           chmod -x ./GenerateDocs.sh
-      - name: Get list of remote branches
+      - name: Get whether autogen-docs branch exists
         run: |
-          echo "Getting list that includes remote branches"
+          echo "Getting whether autogen-docs branch exists"
           git config user.name github-actions
           git config user.email [email protected]
           {
-            echo 'git_branch_a<<EOF'
-            git branch -a
+            echo 'git_ls_remote_origin_autogen_docs<<EOF'
+            git ls-remote origin autogen-docs
             echo EOF
           } >> "$GITHUB_OUTPUT"
-        id: run_git_branch_a
+        id: run_git_ls_remote_origin_autogen_docs
       - name: Delete autogen-docs if it exists
-        if: ${{ contains(steps.run_git_branch_a.outputs.git_branch_a, 'remotes/origin/autogen-docs') }}
+        if: ${{ contains(steps.run_git_ls_remote_origin_autogen_docs.outputs.git_ls_remote_origin_autogen_docs, '/autogen-docs') }}
         run: |
           echo "Deleting remote autogen-docs branch"
           git push origin --delete autogen-docs