Deploy after auto merge

This commit is contained in:
Gabriel Augendre 2023-04-22 10:02:51 +02:00
parent 74aac3ecbd
commit bd6f8353ea

View file

@ -17,17 +17,22 @@ jobs:
permissions:
pull-requests: write
contents: write
env:
GH_TOKEN: ${{ github.token }}
if: >-
github.event.pull_request
&& github.event.pull_request.merged == false
&& (
github.event.pull_request.user.login == 'crocmagnon-pr[bot]'
|| github.event.pull_request.user.login == 'pre-commit-ci[bot]'
|| github.event.pull_request.user.login == 'dependabot[bot]'
)
steps:
- name: Checkout
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
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