Delete 17 stale remote branches (everything not backing an open PR) #174

Why

The remote carries 22 branches. Only main, the three open-PR heads, and one active agent session branch are live. The other 17 are dead: oldest is 7 months stale and 167 commits behind main. They add noise to every git fetch, branch picker, and agent git branch -r listing.

Keep (do not delete)

Delete

Snapshot as of 2026-11-09. ahead = commits not on main; behind = commits on main not on branch.

Maintainer has confirmed these are dead; unmerged commits on them are not wanted.

How

Needs push rights to the remote, so a human runs it:

git push origin --delete \
  137-bump-actions \
  bodycaptcha-art-walk-levels \
  claude/add-claude-documentation-QRcEL \
  claude/flash-one-burst-per-minute-Kp7mQ \
  claude/max-music-system-stub-z2Qs0 \
  claude/osc-address-constants \
  claude/touch-screen-stub \
  document-pr-workflow \
  fc/morelevels \
  fc/touchscreen \
  feat/pipes-windows-autostart \
  feat/treehouse-led-reconfig \
  fundingcaptcha-kids-feedback \
  lookingglass \
  pipes-v3 \
  pygame-port \
  th-bootfix

Then everyone: git fetch --prune.

Follow-up (optional)

Turn on Settings → General → Automatically delete head branches so merged PR branches stop accumulating.