.github: notify on merge conflicts in PRs

Add a pipeline that's checking for and notifying on merge conflicts
within open pull requests. It's triggered whenever one of the baseline
branches (eg. master, maint-*, etc) are pushed.

Unfortunately, we don't have any way for rate limiting within a single
PR yet, so on a day with lots of merges, it could become a bit spammy.

Signed-off-by: Enrico Weigelt, metux IT consult <info@metux.net>
This commit is contained in:
Enrico Weigelt, metux IT consult
2025-08-15 10:54:40 +02:00
committed by Enrico Weigelt
parent 2fddefcf8c
commit fd3eaf69a1

22
.github/workflows/conflict-notify.yml vendored Normal file
View File

@@ -0,0 +1,22 @@
name: check PRs for merge conflicts
on:
push:
branches:
- master
- 'maint-*'
- 'rfc/new-abi*'
permissions:
pull-requests: write
jobs:
notify:
runs-on: ubuntu-latest
steps:
- uses: actions/checkout@v2
- uses: nokamoto/merge-conflict-action@v0.0.4
with:
owner: X11Libre
repo: xserver
token: ${{ secrets.GITHUB_TOKEN }}