diff --git a/docs/branch-review-records/173c8dc623608fe60a08ef7070b302e3649b721fce26c5690363f025b23b6d14.record.md b/docs/branch-review-records/173c8dc623608fe60a08ef7070b302e3649b721fce26c5690363f025b23b6d14.record.md new file mode 100644 index 0000000000..7279b1f0fe --- /dev/null +++ b/docs/branch-review-records/173c8dc623608fe60a08ef7070b302e3649b721fce26c5690363f025b23b6d14.record.md @@ -0,0 +1 @@ +| 2026-09-07 | claude/side-navigation-reliability-0sg48b | ee0cf48b5ae370475de1526bd843ac9f62ef55a2 | prlanded | PR #2637 merged 2026-09-05T11:11:08Z by BigSimmo via true merge commit ee0cf48 (auto-merge armed, three update-branch merges of main by the owner beforehand). Tree of ee0cf48 is identical to branch tip a943909 (git diff --stat empty); fix commit 1a6adff is an ancestor of origin/main; no late or orphaned commits; remote branch already deleted by GitHub. Sidebar shortcuts now switch mode in place via onSelectMode and useHomeModeSeed consumes the UI-change flag one-shot. | git diff --stat ee0cf48 a943909 empty; git merge-base --is-ancestor 1a6adff origin/main true; PR read via GitHub MCP state=closed merged=true; CI on head a943909 green before merge |