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:
|
2024-07-19 02:44:55 +08:00
|
|
|
pull-requests: write # for eps1lon/actions-label-merge-conflict to label PRs
|
2020-12-04 07:59:35 +08:00
|
|
|
runs-on: ubuntu-latest
|
2024-07-19 02:44:55 +08:00
|
|
|
concurrency:
|
|
|
|
|
group: github-api-request
|
|
|
|
|
cancel-in-progress: false
|
2020-12-04 07:59:35 +08:00
|
|
|
steps:
|
|
|
|
|
- name: Check for dirty pull requests
|
2024-03-11 23:28:35 +08:00
|
|
|
uses: eps1lon/actions-label-merge-conflict@v3
|
2020-12-04 07:59:35 +08:00
|
|
|
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: |
|
2024-07-19 02:44:55 +08:00
|
|
|
This pull request has conflicts ☹
|
|
|
|
|
Please resolve those so we can review the pull request.
|
|
|
|
|
Thanks.
|
