Checkout before auto merge

This commit is contained in:
Gabriel Augendre 2023-03-14 10:35:48 +01:00 committed by github-actions[bot]
parent a6df11e85d
commit 49a803cdf9

View file

@ -51,5 +51,7 @@ jobs:
|| github.event.pull_request.user.login == 'pre-commit-ci[bot]'
)
steps:
- name: Checkout
uses: actions/checkout@v3
- name: Auto merge
run: gh pr merge ${{github.event.pull_request.number}} --delete-branch --rebase