Push rendered HTML content to gh-pages for quarkus.search.io consumption

Author: marko-bekhta

.github/workflows/deploy.yml

@@ -13,6 +13,7 @@ concurrency:
   cancel-in-progress: true
 
 permissions:
+  contents: write
   pages: write
   id-token: write
 
@@ -52,3 +53,22 @@ jobs:
       - name: Deploy to GitHub Pages
         id: deploy
         uses: actions/deploy-pages@cd2ce8fcbc39b97be8ca5fce6e763baed58fa128 # v5.0.0
+
+      # search.quarkus.io expects that the rendered content is available in gh-pages branch
+      - name: Sync gh-pages branch
+        run: |
+          SITE_DIR=$(mktemp -d)
+          rsync -a ./_site/ "$SITE_DIR"
+          
+          git config --local user.email "action@github.com"
+          git config --local user.name "GitHub Action"
+
+          git fetch origin gh-pages:gh-pages
+          git checkout gh-pages
+
+          rsync -a --delete --exclude='.git' --exclude='.nojekyll' "$SITE_DIR"/ .
+          git add -A
+          git rm -rf --cached --ignore-unmatch _site
+
+          git commit --allow-empty -m "deploy: ${{ github.sha }}"
+          git push origin gh-pages