File tree 1 file changed +2
-7
lines changed
1 file changed +2
-7
lines changed Original file line number Diff line number Diff line change 9
9
- unlabeled
10
10
- milestoned
11
11
- demilestoned
12
- issues :
13
- types :
14
- - milestoned
15
- - demilestoned
16
12
merge_group : # to be prepared on merge queue
17
13
types : [checks_requested]
18
14
19
15
jobs :
20
16
check_labels_and_milestone :
21
- if : (github.event_name == 'pull_request' && contains(github.event.pull_request.labels.*.name, 'ready to merge')) ||
22
- (github.event_name == 'issues' && github.event.issue.pull_request != null && contains(github.event.issue.labels.*.name, 'ready to merge'))
17
+ if : (github.event_name == 'pull_request' && contains(github.event.pull_request.labels.*.name, 'ready to merge'))
23
18
name : Check labels and milestone
24
19
runs-on : ubuntu-latest
25
20
steps :
30
25
repo_token : ${{ secrets.GITHUB_TOKEN }}
31
26
32
27
- name : Check milestone
33
- if : github.event.pull_request.milestone == null && github.event.issue.milestone == null
28
+ if : github.event.pull_request.milestone == null
34
29
run : |
35
30
echo "Please add a milestone to this PR"
36
31
exit 1
You can’t perform that action at this time.
0 commit comments