build: handle case of existing remote branch with closed/merged PR

---
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: passed
  - task: lint_typescript_tests
    status: na
  - task: lint_license_headers
    status: passed
---

Author: Planeshifter

.github/workflows/namespace_declarations.yml

@@ -137,8 +137,8 @@ jobs:
                 # Commit changes:
                 git commit -m "feat: update \`${display_namespace}\` TypeScript declarations" --signoff
 
-                # Push branch and create PR:
-                git push origin "$branch_name"
+                # Push branch and create PR (force push to handle stale remote branches from previously merged/closed PRs):
+                git push --force-with-lease origin "$branch_name"
 
                 gh pr create \
                   --title "feat: update \`${display_namespace}\` TypeScript declarations" \