fix: added admin privilege to PR merge

This commit is contained in:
Raul Del Pozo Moreno 2025-06-13 15:38:42 +02:00 committed by GitHub
parent 83fdd20706
commit 58d535963a
No known key found for this signature in database
GPG Key ID: B5690EEEBB952194

View File

@ -124,7 +124,7 @@ jobs:
- name: Merge pull request
run: |
# Any checks for the PR are bypassed since the branch is expected to be functional (i.e. the bump process does not introduce any bugs)
gh pr merge "${{ steps.create_pr.outputs.pull_request_url }}" --merge
gh pr merge "${{ steps.create_pr.outputs.pull_request_url }}" --merge --admin
- name: Show logs
run: |