fix: added admin privilege to PR merge

This commit is contained in:
Raul Del Pozo Moreno
2025-06-13 15:38:46 +02:00
committed by GitHub
parent 8edaa8ba9c
commit 056300b59d

View File

@@ -131,7 +131,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: |