feat(repo): add do-not-merge and rename files (#390)

* feat(repo): add do-not-merge and rename files

* .
This commit is contained in:
Roger 2025-02-20 12:36:58 +08:00 committed by GitHub
parent 437b5c6114
commit 3792f9356b
No known key found for this signature in database
GPG key ID: B5690EEEBB952194
4 changed files with 20 additions and 0 deletions

View file

@ -0,0 +1,20 @@
name: Check for "option.do-not-merge" Label
on:
pull_request:
types: [labeled, unlabeled, synchronize, opened, reopened]
jobs:
check_label:
if: github.event.pull_request.draft == false
runs-on: [arc-runner-set]
steps:
- name: Check for "option.do-not-merge" label
id: check_label
uses: actions/github-script@v7
with:
script: |
const labels = context.payload.pull_request.labels.map(label => label.name);
if (labels.includes("option.do-not-merge")) {
core.setFailed('The "option.do-not-merge" label is present. PR cannot be merged.');
}