Add gitflow app to chore workflow

Author: mdelmans

.github/workflows/chore.yml

@@ -16,26 +16,31 @@ jobs:
     runs-on: ubuntu-latest
 
     steps:
+      - name: Get Gitflow App token
+        uses: actions/create-github-app-token@v1
+        id: app-token
+        with:
+          app-id: ${{ secrets.GITFLOW_APP_ID  }}
+          private-key: ${{ secrets.GITFLOW_APP_KEY }}
+
       - name: Checkout Repository
         uses: actions/checkout@v4
+        with:
+          token: ${{ steps.app-token.outputs.token }}
 
       - name: Merge Source Branch into Develop
         run: |
           git config --global user.name "bot"
           git config --global user.email "bot@colorifix.com"
-          git fetch
-          git checkout develop
+          git fetch origin
+          git switch develop
           git merge --no-ff origin/${{ github.event.pull_request.head.ref }} -m "Merge ${{ github.event.pull_request.head.ref }} into develop"
           git push origin develop
 
-      - name: Build docs
-        if: startsWith(github.event.pull_request.head.ref, 'docs/')
-        run: foo
-
   publish-docs:
-    name: Publish Documentation
+    name: Publish documentation
     runs-on: ubuntu-latest
-    if: startsWith(github.event.pull_request.head.ref, 'docs/')
+    if: startsWith(github.event.pull_request.head.ref, 'docs/') || startsWith(github.event.pull_request.head.ref, 'release/')
     permissions:
       id-token: write
       pages: write
@@ -66,3 +71,6 @@ jobs:
 
       - name: Deploy pages
         uses: actions/deploy-pages@v4
+
+permissions:
+  contents: write