You can not select more than 25 topics
Topics must start with a letter or number, can include dashes ('-') and can be up to 35 characters long.
|
|
|
|
name: PR Needs Rebase
|
|
|
|
|
|
|
|
|
|
on:
|
|
|
|
|
push:
|
|
|
|
|
pull_request_target:
|
|
|
|
|
types: [synchronize]
|
|
|
|
|
|
|
|
|
|
jobs:
|
|
|
|
|
label-rebase-needed:
|
|
|
|
|
runs-on: ubuntu-latest
|
|
|
|
|
|
|
|
|
|
concurrency:
|
|
|
|
|
group: ${{ github.workflow }}-${{ github.ref }}
|
|
|
|
|
cancel-in-progress: true
|
|
|
|
|
|
|
|
|
|
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.
|
