From 2dff87406111119e98c83e94f3599d1a9c664701 Mon Sep 17 00:00:00 2001 From: Devin AI <158243242+devin-ai-integration[bot]@users.noreply.github.com> Date: Tue, 4 Mar 2025 20:53:50 +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 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.'); + }