ci: add check for 'do not merge' in PR titles (#383)

Author: devin-ai-integration[bot]

.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.');
+            }