mirror of
https://github.com/galaxyproject/galaxy.git
synced 2026-10-16 15:45:04 +08:00
26 lines
894 B
YAML
26 lines
894 B
YAML
name: Labels Verifier
|
|
on:
|
|
pull_request_target:
|
|
types: [closed]
|
|
jobs:
|
|
onMerged:
|
|
name: "Check Labels on merge"
|
|
runs-on: ubuntu-latest
|
|
steps:
|
|
- name: Check Labels on merge
|
|
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, 'minor')
|
|
uses: actions/github-script@v6
|
|
with:
|
|
github-token: ${{ secrets.GITHUB_TOKEN }}
|
|
script: |
|
|
github.rest.issues.createComment({
|
|
owner: context.repo.owner,
|
|
repo: context.repo.repo,
|
|
issue_number: context.issue.number,
|
|
body: 'This PR was merged without a "kind/" label, please correct.',
|
|
})
|