1
0
Fork 0
mirror of https://github.com/nix-community/home-manager.git synced 2025-12-16 05:51:08 +01:00

workflows/conflicts: init (#6845)

Add labeler for merge conflicts
This commit is contained in:
Austin Horstman 2025-04-18 20:23:32 -07:00 committed by GitHub
parent 307281bfda
commit ae84885d9b
No known key found for this signature in database
GPG key ID: B5690EEEBB952194

14
.github/workflows/conflicts.yml vendored Normal file
View file

@ -0,0 +1,14 @@
on:
push:
branches:
- master
jobs:
triage:
runs-on: ubuntu-latest
steps:
- uses: mschilde/auto-label-merge-conflicts@master
with:
CONFLICT_LABEL_NAME: "merge conflict"
GITHUB_TOKEN: ${{ secrets.GITHUB_TOKEN }}
MAX_RETRIES: 5
WAIT_MS: 10000