diff options
| author | Nick Schonning <nschonni@gmail.com> | 2022-12-09 00:37:13 -0500 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2022-12-09 06:37:13 +0100 |
| commit | e8481e67a760d901742f2af2b306557dcd9183a3 (patch) | |
| tree | 859e2852b66379ede9ab40539418de1f6905eec1 /.github | |
| parent | 64bea717145521d9bc913ba90966b36595b6082b (diff) | |
Add CI job to label PRs with merge conflicts (#22020)
Diffstat (limited to '.github')
| -rw-r--r-- | .github/workflows/rebase-needed.yml | 17 |
1 files changed, 17 insertions, 0 deletions
diff --git a/.github/workflows/rebase-needed.yml b/.github/workflows/rebase-needed.yml new file mode 100644 index 000000000..6f903ee61 --- /dev/null +++ b/.github/workflows/rebase-needed.yml @@ -0,0 +1,17 @@ +name: PR Needs Rebase + +on: + push: + pull_request_target: + types: [synchronize] + +jobs: + label-rebase-needed: + runs-on: ubuntu-latest + steps: + - name: Check for merge conflicts + uses: eps1lon/actions-label-merge-conflict@releases/2.x + with: + dirtyLabel: 'rebase needed :construction:' + repoToken: '${{ secrets.GITHUB_TOKEN }}' + commentOnDirty: This pull request has merge conflicts that must be resolved before it can be merged. |