Add tooling to delete 10 merged branches from closed PRs

[Copilot]

Identified 10 stale branches from merged/closed PRs consuming namespace. Direct deletion requires elevated credentials unavailable in agent context.

Branches Identified for Deletion

copilot/refactor-server-issue-reports
copilot/remove-obsolete-portal-directory
copilot/search-matchmaker-bug-fixes
feat/bot-testing-global-developers
feat/early-quit-lockout-system
feat/early-quit-notifications
feat/early-quit-unified
feat/matchmaker-candidate-guard
fix/matchmaker-memory-explosion
refactor/earlyquit-client-side-enforcement

Changes

• .github/workflows/delete-merged-branches.yaml - Workflow_dispatch action with dry-run toggle for safe execution
• scripts/delete-merged-branches.sh - GH CLI script with auth checks and progress reporting
• DELETE_MERGED_BRANCHES.md - Multi-method execution guide (workflow, CLI, git, UI)
• BRANCH_DELETION_SUMMARY.md - Analysis methodology and findings

Execution

Recommended: Trigger workflow from Actions tab with dry_run: false

Alternative: gh auth login && bash scripts/delete-merged-branches.sh

Verification: git ls-remote --heads origin | wc -l should show 41 branches (51 - 10)

Original prompt

delete all of the "merged" branches in echotools/nakama, including ones from closed PRs.

---

✨ Let Copilot coding agent set things up for you — coding agent works faster and does higher quality work when set up for your repo.

[Copilot]

Pull request overview

Adds automation and documentation to safely delete 10 specific stale branches from the EchoTools/nakama repository, using either a GitHub Actions workflow or local tooling.

Changes:

• Introduces a workflow_dispatch GitHub Actions workflow to delete the identified branches, with a dry_run toggle and summary output.
• Adds a gh-based helper script to delete the same branches via the GitHub API, including auth checks and per-branch status reporting.
• Documents the targeted branches, multiple execution paths (workflow, CLI, git, UI), and the analysis used to determine that these branches are safe to delete.

Reviewed changes

Copilot reviewed 4 out of 4 changed files in this pull request and generated no comments.

File	Description
.github/workflows/delete-merged-branches.yaml	Defines a manual GitHub Actions job that iterates over the 10 branches, optionally runs in dry-run mode, deletes them via git push origin --delete, and prints remaining branches.
scripts/delete-merged-branches.sh	Bash helper that uses gh api to delete the same fixed list of branches from EchoTools/nakama, with authentication check, per-branch success/error classification, and an optional remaining-branches listing.
DELETE_MERGED_BRANCHES.md	Runbook listing the exact branches to delete and providing five concrete methods (script, workflow, gh CLI, raw git, web UI) plus a verification command.
BRANCH_DELETION_SUMMARY.md	Records the branch-analysis methodology, the final list of 10 branches selected for deletion, and links back to the workflow, script, and documentation as the proposed execution paths.