ok/jj
1
0
Fork 0
forked from mirrors/jj
Code Pull requests Activity

github: new attempt at auto-enabling merge of Dependabot PRs

Browse source 
cli/cli#1314 is now marked fixed, so let's see if this works. This
rolls back commit 184280f8f801.
This commit is contained in:
Martin von Zweigbergk 2022-12-01 14:16:47 -08:00 committed by Martin von Zweigbergk
parent b80c39d77c
commit ee7e7e1b62
1 changed files with 20 additions and 0 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

20
.github/workflows/dependabot.yml vendored Normal file
View file

@ -0,0 +1,20 @@
name: build
on:
pull_request:
permissions: read-all
jobs:
dependabot-auto-merge:
name: 'Dependabot auto-merge'
permissions:
pull-requests: write
runs-on: ubuntu-latest
if: ${{ github.actor == 'dependabot[bot]' }}
steps:
- name: Enable auto-merge for Dependabot PRs
run: gh pr merge --auto --rebase "$PR_URL"
env:
PR_URL: ${{github.event.pull_request.html_url}}
GITHUB_TOKEN: ${{secrets.GITHUB_TOKEN}}