diff options
| author | jani270 <69345714+jani270@users.noreply.github.com> | 2023-11-04 20:02:17 +0100 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2023-11-04 20:02:17 +0100 |
| commit | a33265b35a620bc1cc7a7d70c4615078e539d621 (patch) | |
| tree | 95ca934a3de44dfcb9b13786675fdc6fbaf07094 | |
| parent | 4585abe9c13e56d2a921d5f74ad2904118f462c6 (diff) | |
| parent | d22207e0075cf7f3e3e6472e57802c80a2339d97 (diff) | |
| download | SkyHanni-REPO-a33265b35a620bc1cc7a7d70c4615078e539d621.tar.gz SkyHanni-REPO-a33265b35a620bc1cc7a7d70c4615078e539d621.tar.bz2 SkyHanni-REPO-a33265b35a620bc1cc7a7d70c4615078e539d621.zip | |
Merge pull request #48 from walkerselby/gh-actions
| -rw-r--r-- | .github/workflows/label-merge-conflict.yml | 26 |
1 files changed, 26 insertions, 0 deletions
diff --git a/.github/workflows/label-merge-conflict.yml b/.github/workflows/label-merge-conflict.yml new file mode 100644 index 0000000..16fbd88 --- /dev/null +++ b/.github/workflows/label-merge-conflict.yml @@ -0,0 +1,26 @@ +name: "Merge Conflict Label" +on: + # So that PRs touching the same files as the push are updated + push: + branches: [ main ] + # So that the `dirtyLabel` is removed if conflicts are resolve + # 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: [ opened, synchronize ] + +jobs: + conflicts: + runs-on: ubuntu-latest + permissions: + contents: read + pull-requests: write + steps: + - name: Update PRs with conflict labels + uses: eps1lon/actions-label-merge-conflict@releases/2.x + with: + dirtyLabel: "Merge Conflicts" + #removeOnDirtyLabel: "PR: ready to ship" + repoToken: "${{ secrets.GITHUB_TOKEN }}" + commentOnDirty: "This pull request has conflicts with the base branch. Please resolve those so we can evaluate the pull request." + commentOnClean: "Conflicts have been resolved! 🎉 A maintainer will review the pull request shortly." |