|
@@ -0,0 +1,17 @@
|
|
|
|
|
+name: Dependabot auto-merge
|
|
|
|
|
+on: pull_request
|
|
|
|
|
+
|
|
|
|
|
+permissions:
|
|
|
|
|
+ contents: write
|
|
|
|
|
+ pull-requests: write
|
|
|
|
|
+
|
|
|
|
|
+jobs:
|
|
|
|
|
+ dependabot:
|
|
|
|
|
+ runs-on: ubuntu-latest
|
|
|
|
|
+ if: github.event.pull_request.user.login == 'dependabot[bot]' && github.repository == 'codama-idl/codama'
|
|
|
|
|
+ steps:
|
|
|
|
|
+ - name: Enable auto-merge
|
|
|
|
|
+ run: gh pr merge --auto --merge "$PR_URL"
|
|
|
|
|
+ env:
|
|
|
|
|
+ PR_URL: ${{ github.event.pull_request.html_url }}
|
|
|
|
|
+ GH_TOKEN: ${{ secrets.GITHUB_TOKEN }}
|