From 681c8a0a6f2fa4b8443d721fc2c22ea57cdcee2b Mon Sep 17 00:00:00 2001 From: Nicola Soranzo Date: Wed, 2 Dec 2020 13:27:18 +0000 Subject: [PATCH] Skip PR labeled with `merge` --- .github/workflows/labels-verifier.yaml | 5 +++-- 1 file changed, 3 insertions(+), 2 deletions(-) diff --git a/.github/workflows/labels-verifier.yaml b/.github/workflows/labels-verifier.yaml index be76ccb9b30..8cca5f52ea5 100644 --- a/.github/workflows/labels-verifier.yaml +++ b/.github/workflows/labels-verifier.yaml @@ -11,10 +11,11 @@ jobs: - name: Check Labels on merge if: | github.event.pull_request.merged == true && - ! contains(join(github.event.pull_request.labels.*.name, ', '), 'kind/') + ! contains(join(github.event.pull_request.labels.*.name, ', '), 'kind/') && + ! contains(github.event.pull_request.labels.*.name, 'merge') uses: actions/github-script@0.3.0 with: github-token: ${{ secrets.GITHUB_TOKEN }} script: | const { issue: { number: issue_number }, repo: { owner, repo } } = context; - github.issues.createComment({ issue_number, owner, repo, body: 'This PR was merged without a "kind/" label, please correct.' }) \ No newline at end of file + github.issues.createComment({ issue_number, owner, repo, body: 'This PR was merged without a "kind/" label, please correct.' })