2023-10-12 20:46:27 +02:00
# This workflow triggers auto-merge of any PR that dependabot creates so that
# PRs will be merged automatically without maintainer intervention if CI passes
name : Auto-merge dependabot PRs
on :
pull_request_target :
types : [ opened]
jobs :
auto-merge :
if : github.repository == 'sharkdp/bat' && startsWith(github.head_ref, 'dependabot/')
runs-on : ubuntu-latest
environment :
name : auto-merge
url : https://github.com/sharkdp/bat/blob/main/.github/workflows/Auto-merge-dependabot-PRs.yml
env :
GITHUB_TOKEN : ${{ secrets.AUTO_MERGE_GITHUB_TOKEN }}
steps :
2023-10-17 16:13:22 +02:00
- uses : actions/checkout@v4
2023-10-12 20:46:27 +02:00
- run : |
gh pr review ${{ github.event.pull_request.number }} --comment --body "If CI passes, this dependabot PR will be [auto-merged](https://github.com/sharkdp/bat/blob/main/.github/workflows/Auto-merge-dependabot-PRs.yml) 🚀"
- run : |
gh pr merge --auto --squash ${{ github.event.pull_request.number }}