| FazBrowse GitHub Viewer | Trending | | Home |
| Tools: [Download Repo ZIP] [Original HTTPS Page] |
1 parent 55abec9 commit 3b1b70c
1 file changed
| Original file line number | Diff line number | Diff line change | |
|---|---|---|---|
@@ -0,0 +1,19 @@ | |||
| 1 | + name: "Conflict detector" | ||
| 2 | + on: | ||
| 3 | + push: | ||
| 4 | + pull_request_target: | ||
| 5 | + types: [synchronize] | ||
| 6 | + | ||
| 7 | + jobs: | ||
| 8 | + main: | ||
| 9 | + permissions: | ||
| 10 | + contents: read | ||
| 11 | + pull-requests: write | ||
| 12 | + runs-on: ubuntu-latest | ||
| 13 | + steps: | ||
| 14 | + - name: Check if PRs have merge conflicts | ||
| 15 | + uses: eps1lon/actions-label-merge-conflict@v3 | ||
| 16 | + with: | ||
| 17 | + dirtyLabel: "conflicts" | ||
| 18 | + repoToken: "${{ secrets.GITHUB_TOKEN }}" | ||
| 19 | + commentOnDirty: "This pull request has a merge conflict that needs to be resolved." | ||
| Back | FazBrowse Home | New Git URL |
0 commit comments