scripts: do_not_merge: integrate the empty body check in the python file

No point spreading the logic around, the python file already has the
data, check it there.

Signed-off-by: Fabio Baltieri <[email protected]>

Author: fabiobaltieri

.github/workflows/pr_metadata_check.yml

@@ -37,13 +37,3 @@ jobs:
           GITHUB_TOKEN: ${{ secrets.GITHUB_TOKEN }}
         run: |
           ./scripts/ci/do_not_merge.py -p "${{ github.event.pull_request.number }}"
-
-  empty_pr_description:
-    if: ${{ github.event.pull_request.body == '' }}
-    name: PR Description
-    runs-on: ubuntu-24.04
-    steps:
-      - name: Check for PR description
-        run: |
-          echo "Pull request description cannot be empty."
-          exit 1

scripts/ci/do_not_merge.py

@@ -44,13 +44,22 @@ def main(argv):
 
     print(f"pr: {pr.html_url}")
 
+    fail = False
+
     for label in pr.get_labels():
         print(f"label: {label.name}")
 
         if label.name in DNM_LABELS:
             print(f"Pull request is labeled as \"{label.name}\".")
-            print("This workflow fails so that the pull request cannot be merged.")
-            sys.exit(1)
+            fail = True
+
+    if not pr.body:
+        print("Pull request is description is empty.")
+        fail = True
+
+    if fail:
+        print("This workflow fails so that the pull request cannot be merged.")
+        sys.exit(1)
 
 
 if __name__ == "__main__":