summaryrefslogtreecommitdiff
path: root/.github/workflows/pr-conflicts.yml
diff options
context:
space:
mode:
authorChristian Poessinger <christian@poessinger.com>2021-08-01 14:32:30 +0200
committerChristian Poessinger <christian@poessinger.com>2021-08-01 14:34:27 +0200
commit2c85a117b997aaf6c953f2723ddc6f74f1c1ef6c (patch)
tree70704eda82b38231776bb924ef58fd3df2a71f36 /.github/workflows/pr-conflicts.yml
parent1e01fcfeb8c8f3b89ff8a14af14e8bfa3f4698d1 (diff)
downloadvyos-build-2c85a117b997aaf6c953f2723ddc6f74f1c1ef6c.tar.gz
vyos-build-2c85a117b997aaf6c953f2723ddc6f74f1c1ef6c.zip
GitHub: add PR conflict and author assignment workflows
(cherry picked from commit 6f679441bd94fd1bdcd9a85e750c5fa5aac8ec40)
Diffstat (limited to '.github/workflows/pr-conflicts.yml')
-rw-r--r--.github/workflows/pr-conflicts.yml18
1 files changed, 18 insertions, 0 deletions
diff --git a/.github/workflows/pr-conflicts.yml b/.github/workflows/pr-conflicts.yml
new file mode 100644
index 00000000..72ff3969
--- /dev/null
+++ b/.github/workflows/pr-conflicts.yml
@@ -0,0 +1,18 @@
+name: "PR Conflicts checker"
+on:
+ pull_request_target:
+ types: [synchronize]
+
+jobs:
+ Conflict_Check:
+ name: 'Check PR status: conflicts and resolution'
+ runs-on: ubuntu-18.04
+ steps:
+ - name: check if PRs are dirty
+ uses: eps1lon/actions-label-merge-conflict@releases/2.x
+ with:
+ dirtyLabel: "state: conflict"
+ removeOnDirtyLabel: "state: conflict resolved"
+ repoToken: "${{ secrets.GITHUB_TOKEN }}"
+ commentOnDirty: "This pull request has conflicts, please resolve those before we can evaluate the pull request."
+ commentOnClean: "Conflicts have been resolved. A maintainer will review the pull request shortly."