build: skip namespace types for which open PRs exist

---
type: pre_commit_static_analysis_report
description: Results of running static analysis checks when committing changes.
report:
  - task: lint_filenames
    status: passed
  - task: lint_editorconfig
    status: passed
  - task: lint_markdown
    status: na
  - task: lint_package_json
    status: na
  - task: lint_repl_help
    status: na
  - task: lint_javascript_src
    status: na
  - task: lint_javascript_cli
    status: na
  - task: lint_javascript_examples
    status: na
  - task: lint_javascript_tests
    status: na
  - task: lint_javascript_benchmarks
    status: na
  - task: lint_python
    status: na
  - task: lint_r
    status: na
  - task: lint_c_src
    status: na
  - task: lint_c_examples
    status: na
  - task: lint_c_benchmarks
    status: na
  - task: lint_c_tests_fixtures
    status: na
  - task: lint_shell
    status: na
  - task: lint_typescript_declarations
    status: na
  - task: lint_typescript_tests
    status: na
  - task: lint_license_headers
    status: passed
---

Author: Planeshifter

.github/workflows/namespace_declarations.yml

@@ -115,6 +115,15 @@ jobs:
 
               # Branch name slug with slashes replaced by dashes:
               branch_name="update-${display_namespace//\//-}-declarations"
+
+              # If an open PR already exists for this branch, skip this namespace entirely:
+              existing_pr=$(gh pr list --head "$branch_name" --state open --json number -q '.[0].number' || true)
+              if [ -n "$existing_pr" ]; then
+                echo "Open PR exists for $branch_name (#$existing_pr). Skipping $namespace."
+                continue
+              fi
+
+              # Switch to the new branch:
               git checkout -b "$branch_name"
 
               # Generate declarations for this namespace: