mirror of
https://github.com/Leaflet/Leaflet.git
synced 2025-07-20 16:37:08 +00:00
Allow auto merge to Dependabot PR if they pass CI
This is a blatant copy of @HarelM's https://github.com/maplibre/maplibre-gl-js/pull/2345 . Should ease up maintenance a bit.
This commit is contained in:

committed by
GitHub

parent
79986e279c
commit
ddd0944498
18
.github/workflows/dependabot-auto-merge.yml
vendored
Normal file
18
.github/workflows/dependabot-auto-merge.yml
vendored
Normal file
@ -0,0 +1,18 @@
|
|||||||
|
name: Dependabot auto-merge
|
||||||
|
|
||||||
|
on: pull_request
|
||||||
|
|
||||||
|
permissions:
|
||||||
|
contents: write
|
||||||
|
|
||||||
|
jobs:
|
||||||
|
dependabot:
|
||||||
|
runs-on: ubuntu-latest
|
||||||
|
if: ${{ github.actor == 'dependabot[bot]' }}
|
||||||
|
steps:
|
||||||
|
- 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 }}
|
||||||
|
|
Reference in New Issue
Block a user