switch back to direct push to gh-pages branch; comment out newer deployment methiod

Author: jakoch

.github/workflows/build-docs.yml

@@ -107,36 +107,56 @@ jobs:
         run: |
           find . -name '*.adoc' -type f -delete
 
-      - name: Upload documentation artifact
-        uses: actions/upload-pages-artifact@v4 # https://github.com/actions/upload-pages-artifact
-        with:
-          path: ./
+      # Push to gh-pages branch. This parts needs permissions contents: write.
+      - name: Push to gh-pages
+        if: github.ref == 'refs/heads/main' || github.ref == 'refs/heads/master'
+        run: |
+          git fetch origin
+          echo "checkout gh-pages branch without history (orphan)"
+          git checkout --orphan gh-pages
+          echo "remove all asciidoc (.adoc) source files"
+          git ls-files | grep '\.adoc$' | xargs git rm --cached || true
+          echo "remove unnecessary files"
+          git rm .gitattributes
+          echo "add & commit everything new"
+          git add --all
+          git commit -m "Updated Documentation. [skip ci]" || true
+          git push origin gh-pages --force
+        env:
+          GITHUB_TOKEN: ${{ secrets.GITHUB_TOKEN }}
 
-# ---------------------------------------------------------------------------------------
+      # This step is only required, when using the deploy step below.
+      # Requires setting: Settings → Pages → Source: GitHub Actions
+      # - name: Upload documentation artifact
+      #   uses: actions/upload-pages-artifact@v4 # https://github.com/actions/upload-pages-artifact
+      #   with:
+      #     path: ./
 
-  deploy:
+# # ---------------------------------------------------------------------------------------
 
-# ---------------------------------------------------------------------------------------
+#   deploy:
 
-    needs: build
-    if: github.ref == 'refs/heads/main' || github.ref == 'refs/heads/master'
+# # ---------------------------------------------------------------------------------------
 
-    # Grant GITHUB_TOKEN the permissions required to make a Pages deployment
-    permissions:
-      contents: read
-      pages: write    # to deploy to Pages
-      id-token: write # to verify the deployment originates from an appropriate source
+#     needs: build
+#     if: github.ref == 'refs/heads/main' || github.ref == 'refs/heads/master'
 
-    runs-on: ubuntu-latest
+#     # Grant GITHUB_TOKEN the permissions required to make a Pages deployment
+#     permissions:
+#       contents: read
+#       pages: write    # to deploy to Pages
+#       id-token: write # to verify the deployment originates from an appropriate source
 
-    environment:
-      name: github-pages
-      url: ${{ steps.deployment.outputs.page_url }}
+#     runs-on: ubuntu-latest
 
-    steps:
-      - name: Setup GitHub Pages
-        uses: actions/configure-pages@v5 # https://github.com/actions/configure-pages
+#     environment:
+#       name: github-pages
+#       url: ${{ steps.deployment.outputs.page_url }}
+
+#     steps:
+#       - name: Setup GitHub Pages
+#         uses: actions/configure-pages@v5 # https://github.com/actions/configure-pages
 
-      - name: Deploy to GitHub Pages
-        id: deployment
-        uses: actions/deploy-pages@v4 # https://github.com/actions/deploy-pages
+#       - name: Deploy to GitHub Pages
+#         id: deployment
+#         uses: actions/deploy-pages@v4 # https://github.com/actions/deploy-pages