Skip to content

PR merge & timeline GitHub parity (desktop + iOS + TUI) - #608

Merged
arul28 merged 6 commits into
mainfrom
ade/pr-merge-ui-parity-877ab460
Jun 18, 2026
Merged

PR merge & timeline GitHub parity (desktop + iOS + TUI)#608
arul28 merged 6 commits into
mainfrom
ade/pr-merge-ui-parity-877ab460

ship: iteration 5 — complete stale-head merge safety (#608)

b6feb0e
Select commit
Loading
Failed to load commit list.

Select a check to view from the sidebar