2021-03-08 20:59:17 +00:00
|
|
|
name: "Maintenance"
|
|
|
|
|
on:
|
|
|
|
|
push:
|
2021-03-08 21:09:16 +00:00
|
|
|
branches:
|
|
|
|
|
- main
|
|
|
|
|
pull_request:
|
2021-03-08 20:59:17 +00:00
|
|
|
types: [synchronize]
|
|
|
|
|
|
|
|
|
|
jobs:
|
|
|
|
|
main:
|
|
|
|
|
runs-on: ubuntu-latest
|
|
|
|
|
steps:
|
|
|
|
|
- name: check if prs are dirty
|
2021-03-08 21:15:47 +00:00
|
|
|
uses: eps1lon/actions-label-merge-conflict@releases/2.x
|
2021-03-08 20:59:17 +00:00
|
|
|
with:
|
|
|
|
|
dirtyLabel: "PR: needs rebase"
|
|
|
|
|
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."
|
