From 02a3d1d3c26fea5b7840ca35e8bfd0c9053f1a0e Mon Sep 17 00:00:00 2001 From: Devin AI <158243242+devin-ai-integration[bot]@users.noreply.github.com> Date: Mon, 24 Mar 2025 17:43:12 +0000 Subject: [PATCH] ci: add check for 'do not merge' in PR titles Co-Authored-By: Aaron Steers --- .github/workflows/semantic_pr_check.yml | 10 ++++++++++ 1 file changed, 10 insertions(+) diff --git a/.github/workflows/semantic_pr_check.yml b/.github/workflows/semantic_pr_check.yml index 9d8cb393..e0f38881 100644 --- a/.github/workflows/semantic_pr_check.yml +++ b/.github/workflows/semantic_pr_check.yml @@ -47,3 +47,13 @@ jobs: # scopes: | # core # ui + + - 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.'); + }