2023-12-26 05:40:59 +01:00
|
|
|
name: Auto Merge
|
|
|
|
|
|
|
|
on:
|
|
|
|
# Try enabling auto-merge for a pull request when a draft is marked as “ready for review”, when
|
|
|
|
# a required label is applied or when a “do not merge” label is removed, or when a pull request
|
|
|
|
# is updated in any way (opened, synchronized, reopened, edited).
|
|
|
|
pull_request_target:
|
|
|
|
types:
|
|
|
|
- opened
|
|
|
|
- synchronize
|
|
|
|
- reopened
|
|
|
|
- edited
|
|
|
|
- labeled
|
|
|
|
- unlabeled
|
|
|
|
- ready_for_review
|
|
|
|
|
|
|
|
# Try enabling auto-merge for the specified pull request or all open pull requests if none is
|
|
|
|
# specified.
|
|
|
|
workflow_dispatch:
|
|
|
|
inputs:
|
|
|
|
pull-request:
|
|
|
|
description: Pull Request Number
|
|
|
|
required: false
|
|
|
|
|
|
|
|
jobs:
|
|
|
|
automerge:
|
|
|
|
runs-on: ubuntu-latest
|
|
|
|
steps:
|
|
|
|
- uses: reitermarkus/automerge@v2
|
|
|
|
with:
|
2023-12-26 05:49:31 +01:00
|
|
|
token: ${{ secrets.GH_TOKEN_FOR_UPDATES }}
|
2024-03-04 01:56:43 +01:00
|
|
|
merge-method: squash
|
2023-12-26 05:40:59 +01:00
|
|
|
do-not-merge-labels: never-merge
|
|
|
|
required-labels: automerge
|
|
|
|
pull-request: ${{ github.event.inputs.pull-request }}
|
|
|
|
review: ${{ github.event.inputs.review }}
|
|
|
|
dry-run: false
|