mirror of
https://github.com/galaxyproject/galaxy.git
synced 2026-10-24 12:13:33 +08:00
Don't check for missing kind/ label for minor merged PRs
This commit is contained in:
@@ -12,7 +12,8 @@ jobs:
|
||||
if: |
|
||||
github.event.pull_request.merged == true &&
|
||||
! contains(join(github.event.pull_request.labels.*.name, ', '), 'kind/') &&
|
||||
! contains(github.event.pull_request.labels.*.name, 'merge')
|
||||
! contains(github.event.pull_request.labels.*.name, 'merge') &&
|
||||
! contains(github.event.pull_request.labels.*.name, 'minor')
|
||||
uses: actions/github-script@v3
|
||||
with:
|
||||
github-token: ${{ secrets.GITHUB_TOKEN }}
|
||||
|
||||
Reference in New Issue
Block a user