diff options
| author | Donatas Abraitis <donatas@opensourcerouting.org> | 2022-10-13 08:18:59 +0300 |
|---|---|---|
| committer | Donatas Abraitis <donatas@opensourcerouting.org> | 2022-10-13 08:18:59 +0300 |
| commit | 1cc861a9c3b7017346c3b87223d0839e0a87381b (patch) | |
| tree | 304aabca65867f275f0d23d69071b417c9a8bd96 /.github | |
| parent | 16f88c704cf0f039901e2ffce2c7c5ed71a664b9 (diff) | |
github: Add `conflicts`/`no_conflicts` labels for PRs
Just to quickly identify which PRs needs attention on rebasing.
Signed-off-by: Donatas Abraitis <donatas@opensourcerouting.org>
Diffstat (limited to '.github')
| -rw-r--r-- | .github/workflows/conflicts.yml | 21 |
1 files changed, 21 insertions, 0 deletions
diff --git a/.github/workflows/conflicts.yml b/.github/workflows/conflicts.yml new file mode 100644 index 0000000000..18a8c0d15d --- /dev/null +++ b/.github/workflows/conflicts.yml @@ -0,0 +1,21 @@ +name: Add a conflict label is PR needs to rebase + +on: + push: + pull_request_target: + types: [synchronize] + +jobs: + conflicts: + runs-on: ubuntu-latest + permissions: + contents: read + pull-requests: write + steps: + - name: Check if PRs need a rebase (have some conflicts) + uses: eps1lon/actions-label-merge-conflict@releases/2.x + with: + dirtyLabel: "conflicts" + removeOnDirtyLabel: "no_conflicts" + repoToken: "${{ secrets.GITHUB_TOKEN }}" + commentOnDirty: "This pull request has conflicts, please resolve those before we can evaluate the pull request." |