Use app token to auto-merge PR

This commit is contained in:
Gabriel Augendre 2023-04-22 09:56:59 +02:00
parent b9e0e9e244
commit a0fa261ea8

View file

@ -17,8 +17,6 @@ jobs:
permissions: permissions:
pull-requests: write pull-requests: write
contents: write contents: write
env:
GH_TOKEN: ${{ github.token }}
if: >- if: >-
github.event.pull_request github.event.pull_request
&& github.event.pull_request.merged == false && github.event.pull_request.merged == false
@ -29,5 +27,11 @@ jobs:
steps: steps:
- name: Checkout - name: Checkout
uses: actions/checkout@v3 uses: actions/checkout@v3
- name: Generate token
uses: tibdex/github-app-token@v1
id: generate-token
with:
app_id: ${{ secrets.PR_APP_ID }}
private_key: ${{ secrets.PR_APP_PRIVATE_KEY }}
- name: Auto merge - name: Auto merge
run: gh pr merge ${{github.event.pull_request.number}} --delete-branch --rebase run: GITHUB_TOKEN=${{ steps.generate-token.outputs.token }} gh pr merge ${{github.event.pull_request.number}} --delete-branch --rebase