2023-02-14 01:06:00 +00:00
|
|
|
name: Dependabot auto-merge
|
|
|
|
|
on: pull_request
|
|
|
|
|
|
|
|
|
|
permissions:
|
|
|
|
|
contents: write
|
|
|
|
|
pull-requests: write
|
|
|
|
|
|
|
|
|
|
jobs:
|
|
|
|
|
dependabot:
|
|
|
|
|
runs-on: ubuntu-latest
|
|
|
|
|
if: ${{ github.actor == 'dependabot[bot]' }}
|
|
|
|
|
steps:
|
|
|
|
|
- name: Dependabot metadata
|
|
|
|
|
id: metadata
|
2024-03-25 15:54:53 +00:00
|
|
|
uses: dependabot/fetch-metadata@v2.0.0
|
2023-02-14 01:06:00 +00:00
|
|
|
with:
|
|
|
|
|
github-token: "${{ secrets.GITHUB_TOKEN }}"
|
|
|
|
|
- name: Enable auto-merge for Dependabot PRs
|
|
|
|
|
run: gh pr merge --auto --merge "$PR_URL"
|
|
|
|
|
env:
|
|
|
|
|
PR_URL: ${{github.event.pull_request.html_url}}
|
|
|
|
|
GITHUB_TOKEN: ${{secrets.GITHUB_TOKEN}}
|
