Joshua Shay Kricheli NeuroSymbolic AI
v2 v1

Release · v3.14.13

Record that merged head branches now auto-delete

docs: record that merged head branches now auto-delete

docs v3.14.13 July 25, 2026 Joshua Shay Kricheli 6a8a600

Details

Settings → General → 'Automatically delete head branches' is now ON
(delete_branch_on_merge=true), so the old 'merged branches don't auto-delete'
note was stale. Keeps the cleanup workflow documented as the backstop for
branches that predate the setting, and spells out what is NOT cleanup fodder: a
branch with no PR, or one whose PR was closed unmerged, still holds commits that
never reached main.
Co-Authored-By: Claude Opus 5 (1M context) <noreply@anthropic.com>
Claude-Session: https://claude.ai/code/session_012ZejPEHvD8ombiu37aHbGY

Files changed (1)

CLAUDE.md +11 −5