feat: switch documentation deployment to 'doc' branch

Author: jeanpierrefortune

.github/scripts/prepare_doxygen.sh

@@ -7,7 +7,7 @@ project_name="$(head -n 1 README.md | sed 's/#//')"
 repository_name=$(git rev-parse --show-toplevel | xargs basename)
 
 echo "Clone $repository_name..."
-git clone --branch gh-pages https://github.com/eclipse/"$repository_name".git
+git clone --branch doc https://github.com/eclipse/"$repository_name".git
 
 cd "$repository_name" || exit
 

.github/workflows/publish-doc-release.yml

@@ -28,9 +28,14 @@ jobs:
       - name: Prepare Doxygen doc page locally
         working-directory: .
         run: ./.github/scripts/prepare_doxygen.sh ${{ env.PROJECT_VERSION }}
-      - name: Deploy Doxygen documentation to gh-pages
-        uses: peaceiris/actions-gh-pages@v3
-        with:
-          github_token: ${{ secrets.GITHUB_TOKEN }}
-          publish_dir: ./${{ github.event.repository.name }}
-          enable_jekyll: true
+      - name: Deploy to doc branch
+        run: |
+          git config --global user.name "Eclipse Keypop Bot"
+          git config --global user.email "${{ github.repository }}-bot@eclipse.org"
+          cd ${{ github.event.repository.name }}
+          git remote set-url origin "https://x-access-token:${GITHUB_TOKEN}@github.com/${GITHUB_REPOSITORY}.git"
+          git add .
+          git commit -m "docs: update ${{ github.event.inputs.version || github.ref_name }} documentation"
+          git push origin doc --force
+        env:
+          GITHUB_TOKEN: ${{ secrets.GITHUB_TOKEN }}

.github/workflows/publish-doc-snapshot.yml

@@ -31,9 +31,14 @@ jobs:
       - name: Prepare Doxygen doc page locally
         working-directory: .
         run: ./.github/scripts/prepare_doxygen.sh ${{ env.PROJECT_VERSION }}
-      - name: Deploy Doxygen documentation to gh-pages
-        uses: peaceiris/actions-gh-pages@v3
-        with:
-          github_token: ${{ secrets.GITHUB_TOKEN }}
-          publish_dir: ./${{ github.event.repository.name }}
-          enable_jekyll: true
+      - name: Deploy to doc branch
+        run: |
+          git config --global user.name "Eclipse Keypop Bot"
+          git config --global user.email "${{ github.repository }}-bot@eclipse.org"
+          cd ${{ github.event.repository.name }}
+          git remote set-url origin "https://x-access-token:${GITHUB_TOKEN}@github.com/${GITHUB_REPOSITORY}.git"
+          git add .
+          git commit -m "docs: update snapshot documentation"
+          git push origin doc --force
+        env:
+          GITHUB_TOKEN: ${{ secrets.GITHUB_TOKEN }}