dev: configure jsonforms-publish bot

Use new jsonforms-publish bot to allow pushing back commits to the
protected master branch.

Author: sdirix

.github/workflows/publish.yaml

@@ -26,12 +26,15 @@ jobs:
       contents: "write"
     runs-on: "ubuntu-latest"
     steps:
-      - uses: "actions/checkout@v3"
+      - uses: "actions/checkout@v4"
+        with:
+          persist-credentials: false
 
       - name: "Configure Git Credentials"
         run: |
-          git config user.name "github-actions[bot]"
-          git config user.email "41898282+github-actions[bot]@users.noreply.github.com"
+          git config user.name "jsonforms-publish[bot]"
+          git config user.email "jsonforms-publish@eclipsesource.com"
+          git remote set-url origin https://jsonforms-publish:${{ secrets.JSONFORMS_PUBLISH_PAT }}@github.com/eclipsesource/jsonforms.git
 
       - name: "Setup node"
         uses: "actions/setup-node@v3"
@@ -85,3 +88,5 @@ jobs:
         run: |
           git push
           git push origin v${{ github.event.inputs.next_version }}
+        env:
+          GITHUB_TOKEN: ${{ secrets.JSONFORMS_PUBLISH_PAT }}