Update Version WF

This commit is contained in:
Michel Roegl-Brunner 2025-05-09 12:37:26 +02:00
parent 9fef1f61c9
commit d44cdee51e

View File

@ -100,7 +100,7 @@ jobs:
- name: Approve pull request - name: Approve pull request
if: env.changed == 'true' if: env.changed == 'true'
env: env:
GH_TOKEN: ${{ secrets.GITHUB_TOKEN }} GH_TOKEN: ${{ secrets.PAT_MICHEL }}
run: | run: |
PR_NUMBER=$(gh pr list --head "update_versions" --json number --jq '.[].number') PR_NUMBER=$(gh pr list --head "update_versions" --json number --jq '.[].number')
if [ -n "$PR_NUMBER" ]; then if [ -n "$PR_NUMBER" ]; then
@ -111,7 +111,7 @@ jobs:
- name: Re-approve pull request after update - name: Re-approve pull request after update
if: env.changed == 'true' if: env.changed == 'true'
env: env:
GH_TOKEN: ${{ secrets.GITHUB_TOKEN }} GH_TOKEN: ${{ secrets.PAT_MICHEL }}
run: | run: |
PR_NUMBER=$(gh pr list --head "update_versions" --json number --jq '.[].number') PR_NUMBER=$(gh pr list --head "update_versions" --json number --jq '.[].number')
if [ -n "$PR_NUMBER" ]; then if [ -n "$PR_NUMBER" ]; then