2020-12-04 07:59:35 +08:00
|
|
|
name: Merge conflict check
|
|
|
|
|
on:
|
|
|
|
|
push:
|
|
|
|
|
pull_request_target:
|
|
|
|
|
types:
|
|
|
|
|
- opened
|
|
|
|
|
- synchronize
|
|
|
|
|
|
2022-10-03 05:40:14 +08:00
|
|
|
permissions:
|
|
|
|
|
contents: read
|
|
|
|
|
|
2020-12-04 07:59:35 +08:00
|
|
|
jobs:
|
|
|
|
|
main:
|
2022-10-03 05:40:14 +08:00
|
|
|
permissions:
|
|
|
|
|
pull-requests: write # for eps1lon/actions-label-merge-conflict to label PRs
|
2020-12-04 07:59:35 +08:00
|
|
|
runs-on: ubuntu-latest
|
|
|
|
|
steps:
|
|
|
|
|
- name: Check for dirty pull requests
|
|
|
|
|
uses: eps1lon/actions-label-merge-conflict@releases/2.x
|
|
|
|
|
with:
|
2021-04-05 00:39:36 +08:00
|
|
|
dirtyLabel: "status: conflict"
|
2020-12-04 07:59:35 +08:00
|
|
|
repoToken: "${{ secrets.GITHUB_TOKEN }}"
|
|
|
|
|
commentOnDirty: |
|
|
|
|
|
This pull request has conflicts ☹
|
|
|
|
|
Please resolve those so we can review the pull request.
|
|
|
|
|
Thanks.
|
