From 54b713966b2f33ef99ec6818c039dd4d86a3efbf Mon Sep 17 00:00:00 2001 From: Tim Jacomb <21194782+timja@users.noreply.github.com> Date: Tue, 10 Sep 2024 22:35:33 +0100 Subject: [PATCH] Discard changes to .github/workflows/label-conflicting-pr.yml --- .github/workflows/label-conflicting-pr.yml | 21 +++++++++++++++++++++ 1 file changed, 21 insertions(+) create mode 100644 .github/workflows/label-conflicting-pr.yml diff --git a/.github/workflows/label-conflicting-pr.yml b/.github/workflows/label-conflicting-pr.yml new file mode 100644 index 0000000000000..8b78edd6004ce --- /dev/null +++ b/.github/workflows/label-conflicting-pr.yml @@ -0,0 +1,21 @@ +name: "Label conflicting PRs" +on: + push: + pull_request_target: + types: [synchronize] + +permissions: + pull-requests: write + +jobs: + main: + if: github.event.pull_request.user.login != 'dependabot[bot]' + runs-on: ubuntu-latest + steps: + - name: Label conflicting PRs + uses: eps1lon/actions-label-merge-conflict@v3.0.2 + with: + dirtyLabel: "unresolved-merge-conflict" + repoToken: "${{ secrets.GITHUB_TOKEN }}" + commentOnDirty: "Please take a moment and address the merge conflicts of your pull request. Thanks!" + continueOnMissingPermissions: true