ci: enable auto-merge for dependabot pull requests (#5063)

Enabling auto-merge doesn't actually merge these PRs because we still
require approvals.
This commit is contained in:
Marco Ferrari 2023-12-24 17:20:13 +01:00 committed by GitHub
parent df6543f763
commit 59154bf97f
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23

View file

@ -24,6 +24,7 @@ jobs:
uses: dependabot/fetch-metadata@v1
with:
github-token: "${{ secrets.GITHUB_TOKEN }}"
- name: Approve the PR
run: gh pr review --approve "${PR_URL}"
# This doesn't trigger an automated merge because we require at approvals
- name: Enable auto-merge
run: gh pr merge --auto --squash --delete-branch "${PR_URL}"
...