Rename file blocked.yml to pull_request.yml

This commit is contained in:
Benoit Marty 2025-03-10 09:49:35 +01:00 committed by Benoit Marty
parent 7e8ed314e6
commit d5147ef6f5

17
.github/workflows/pull_request.yml vendored Normal file
View file

@ -0,0 +1,17 @@
name: Prevent blocked
on:
pull_request:
types: [opened, labeled, unlabeled]
jobs:
prevent-blocked:
name: Prevent blocked
runs-on: ubuntu-latest
permissions:
pull-requests: read
steps:
- name: Add notice
uses: actions/github-script@v7
if: contains(github.event.pull_request.labels.*.name, 'X-Blocked')
with:
script: |
core.setFailed("PR has been labeled with X-Blocked; it cannot be merged.");