Rename file blocked.yml to pull_request.yml
This commit is contained in:
committed by
Benoit Marty
parent
ae2a281c47
commit
5f66d8c220
17
.github/workflows/pull_request.yml
vendored
Normal file
17
.github/workflows/pull_request.yml
vendored
Normal 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.");
|
||||
Reference in New Issue
Block a user