diff --git a/.github/workflows/semantic_pr_check.yml b/.github/workflows/semantic_pr_check.yml index 38e1ffb1e..ad7c7319e 100644 --- a/.github/workflows/semantic_pr_check.yml +++ b/.github/workflows/semantic_pr_check.yml @@ -39,3 +39,13 @@ jobs: Build tests Tests + + - name: Check for "do not merge" in PR title + if: ${{ github.event.pull_request.draft == false }} + uses: actions/github-script@v6 + with: + script: | + const title = context.payload.pull_request.title.toLowerCase(); + if (title.includes('do not merge') || title.includes('do-not-merge')) { + core.setFailed('PR title contains "do not merge" or "do-not-merge". Please remove this before merging.'); + }