Skip to content

Commit 3792f93

Browse files
authored
feat(repo): add do-not-merge and rename files (#390)
* feat(repo): add do-not-merge and rename files * .
1 parent 437b5c6 commit 3792f93

File tree

4 files changed

+20
-0
lines changed

4 files changed

+20
-0
lines changed
Lines changed: 20 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,20 @@
1+
name: Check for "option.do-not-merge" Label
2+
3+
on:
4+
pull_request:
5+
types: [labeled, unlabeled, synchronize, opened, reopened]
6+
7+
jobs:
8+
check_label:
9+
if: github.event.pull_request.draft == false
10+
runs-on: [arc-runner-set]
11+
steps:
12+
- name: Check for "option.do-not-merge" label
13+
id: check_label
14+
uses: actions/github-script@v7
15+
with:
16+
script: |
17+
const labels = context.payload.pull_request.labels.map(label => label.name);
18+
if (labels.includes("option.do-not-merge")) {
19+
core.setFailed('The "option.do-not-merge" label is present. PR cannot be merged.');
20+
}
File renamed without changes.
File renamed without changes.

0 commit comments

Comments
 (0)