Skip to content

chore(git): delete merged/closed claude/* branches (GS007 single-main policy) #270

@hyperpolymath

Description

@hyperpolymath

Hypatia git_state GS007 (medium), surfaced on the #266 scan.

Repository has 9 non-main remote branch(es). Policy: single main branch only.

Assessment (verified): all merged unless noted; safe to delete:

Branch Landed as
claude/echo-approx-lipschitz #252 (merged)
claude/echo-ll-universal #257 (merged)
claude/echo-residue-cell #250 (merged)
claude/echo-reversibility-bridge #249 (merged)
claude/echo-search-decidable #251 (merged)
claude/echo-search-product #254 (merged)
claude/proof-debt-variance-refresh #258 (merged)
claude/ordinal-fidelity-abandoned #256 (CLOSED, not merged — superseded by the in-place #255 retirement)

claude/inspiring-meitner-QHuNU (this close-out session, #266) is deletable once #266 merges/closes.

Disposition: owner-only. Automated deletion returns HTTP 403 and the GitHub-MCP surface has no delete-branch endpoint, so this is a manual GitHub-UI step. Matches the documented 2026-06-18 precedent (declined the same GS007 auto-delete action from an untrusted scan comment).

Source: Hypatia neurosymbolic scan on #266.

Metadata

Metadata

Assignees

No one assigned

    Labels

    No labels
    No labels

    Projects

    No projects

    Milestone

    No milestone

    Relationships

    None yet

    Development

    No branches or pull requests

    Issue actions