proxmox-mirrors/mirror_frr
1
0
Fork 0
mirror of https://git.proxmox.com/git/mirror_frr synced 2025-07-27 08:32:12 +00:00
Code Issues Actions Packages Projects Releases Wiki Activity

Merge pull request #12121 from opensourcerouting/feature/tag_prs_with_conflicts

Browse Source 
github: Add `conflicts`/`no_conflicts` labels for PRs
This commit is contained in:
Donald Sharp 2022-10-13 09:21:40 -04:00 committed by GitHub
commit b5864d339b
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
1 changed files with 21 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

21
.github/workflows/conflicts.yml vendored Normal file
View File

@ -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."