mirror of
https://github.com/XRPLF/rippled.git
synced 2026-06-03 00:36:48 +00:00
e209ee5371
Signed-off-by: dependabot[bot] <support@github.com> Co-authored-by: dependabot[bot] <49699333+dependabot[bot]@users.noreply.github.com>
26 lines
940 B
YAML
26 lines
940 B
YAML
name: Label PRs with merge conflicts
|
|
|
|
on:
|
|
# So that PRs touching the same files as the push are updated.
|
|
push:
|
|
# So that the `dirtyLabel` is removed if conflicts are resolved.
|
|
# We recommend `pull_request_target` so that github secrets are available.
|
|
# In `pull_request` we wouldn't be able to change labels of fork PRs.
|
|
pull_request_target:
|
|
types: [synchronize]
|
|
|
|
permissions:
|
|
pull-requests: write
|
|
|
|
jobs:
|
|
main:
|
|
runs-on: ubuntu-latest
|
|
steps:
|
|
- name: Check if PRs are dirty
|
|
uses: eps1lon/actions-label-merge-conflict@0273be72a0bbd58fcd71d0d6c02c209b50d1e5e1 # v3.1.0
|
|
with:
|
|
dirtyLabel: "PR: has conflicts"
|
|
repoToken: "${{ secrets.GITHUB_TOKEN }}"
|
|
commentOnDirty: "This PR has conflicts, please resolve them in order for the PR to be reviewed."
|
|
commentOnClean: "All conflicts have been resolved. Assigned reviewers can now start or resume their review."
|