From f0f247a8c4271a8bbf0f4a1b3f41b82911fb0b68 Mon Sep 17 00:00:00 2001 From: Stefan Dirix Date: Fri, 15 Dec 2023 15:12:23 +0100 Subject: [PATCH] dev: configure jsonforms-publish bot Use new jsonforms-publish bot to allow pushing back commits to the protected master branch. --- .github/workflows/publish.yaml | 10 +++++++--- 1 file changed, 7 insertions(+), 3 deletions(-) diff --git a/.github/workflows/publish.yaml b/.github/workflows/publish.yaml index c19531543..acc2f80b4 100644 --- a/.github/workflows/publish.yaml +++ b/.github/workflows/publish.yaml @@ -26,12 +26,14 @@ jobs: contents: "write" runs-on: "ubuntu-latest" steps: - - uses: "actions/checkout@v3" + - uses: "actions/checkout@v4" + with: + token: ${{ secrets.JSONFORMS_PUBLISH_PAT }} - 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" - name: "Setup node" uses: "actions/setup-node@v3" @@ -85,3 +87,5 @@ jobs: run: | git push git push origin v${{ github.event.inputs.next_version }} + env: + GITHUB_TOKEN: ${{ secrets.JSONFORMS_PUBLISH_PAT }}