gaugendre/python-blog
Archived
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity

Deploy after auto merge

Browse source
This commit is contained in:
Gabriel Augendre 2023-04-22 10:03:25 +02:00
parent 27950a243e
commit 129aa13065
1 changed files with 8 additions and 3 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

11
.github/workflows/pull_request.yaml vendored
View file

@ -17,17 +17,22 @@ 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
&& ( && (
github.event.pull_request.user.login == 'crocmagnon-pr[bot]' 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 == 'pre-commit-ci[bot]'
|| github.event.pull_request.user.login == 'dependabot[bot]'
) )
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