Commit 48bce63

authored

fix: dependabot PRs were not running CI after merge (#374)

1 parent a698a48 commit 48bce63Copy full SHA for 48bce63

File tree

+26

-14

lines changed

+26

-14

lines changed

Lines changed: 0 additions & 14 deletions

Original file line number	Diff line number	Diff line change
`@@ -34,17 +34,3 @@ jobs:`
`34`	`34`	`with:`
`35`	`35`	`name: test-results`
`36`	`36`	`path: coverage/lcov.info`
`37`		`-`
`38`		`- merge-dependabot-pr:`
`39`		`- name: Merge Dependabot PR`
`40`		`- if: github.event.pull_request.user.login == 'dependabot[bot]'`
`41`		`- runs-on: ubuntu-latest`
`42`		`- permissions:`
`43`		`- pull-requests: write`
`44`		`- contents: write`
`45`		`- steps:`
`46`		`- - name: Enable auto-merge for Dependabot PRs`
`47`		`- run: gh pr merge --auto --squash "$PR_URL"`
`48`		`- env:`
`49`		`- PR_URL: ${{github.event.pull_request.html_url}}`
`50`		`- GITHUB_TOKEN: ${{secrets.GITHUB_TOKEN}}`

Lines changed: 26 additions & 0 deletions

Original file line number	Diff line number	Diff line change
`@@ -0,0 +1,26 @@`
	`1`	`+---`
	`2`	`+name: Dependabot PR`
	`3`	`+on:`
	`4`	`+ pull_request:`
	`5`	`+ types: [opened]`
	`6`	`+ branches:`
	`7`	`+ - main`
	`8`	`+`
	`9`	`+permissions: {}`
	`10`	`+`
	`11`	`+jobs:`
	`12`	`+ merge-dependabot-pr:`
	`13`	`+ name: Merge Dependabot PR`
	`14`	`+ if: github.event.pull_request.user.login == 'dependabot[bot]'`
	`15`	`+ runs-on: ubuntu-latest`
	`16`	`+ steps:`
	`17`	`+ - uses: mongodb-js/devtools-shared/actions/setup-bot-token@main`
	`18`	`+ id: app-token`
	`19`	`+ with:`
	`20`	`+ app-id: ${{ vars.DEVTOOLS_BOT_APP_ID }}`
	`21`	`+ private-key: ${{ secrets.DEVTOOLS_BOT_PRIVATE_KEY }}`
	`22`	`+ - name: Enable auto-merge for Dependabot PRs`
	`23`	`+ run: gh pr merge --auto --squash "$PR_URL"`
	`24`	`+ env:`
	`25`	`+ PR_URL: ${{github.event.pull_request.html_url}}`
	`26`	`+ GITHUB_TOKEN: ${{ steps.app-token.outputs.token }}`

Comments

(0)