Seen on: work/stack-6315-refresh-20260829
What it fixes
After the History and Pull Requests tabs exist, they are two more tabs in an already crowded right panel, and each forgets nothing or everything on its own terms. This piece folds them into one Repository tab with History and Pull Requests as sub-tabs, keeping each sub-tab's search, selection, and paging across switches, all scoped to the project and environment.
Why we need it
It is PR 10 of the series in the Git History series issue (#8). It is the pane the end state describes, minus the one tab that waits on upstream.
How to fix it
Cut a fresh branch on top of the History and Pull Requests tab pieces carrying the Repository pane, the right-panel surface rename and persisted-state migration, and the state-keeping across sub-tab switches, with tests. The PR description states the end state from the series issue. Deferred: the Issues sub-tab.
Seen on: work/stack-6315-refresh-20260829
What it fixes
After the History and Pull Requests tabs exist, they are two more tabs in an already crowded right panel, and each forgets nothing or everything on its own terms. This piece folds them into one Repository tab with History and Pull Requests as sub-tabs, keeping each sub-tab's search, selection, and paging across switches, all scoped to the project and environment.
Why we need it
It is PR 10 of the series in the Git History series issue (#8). It is the pane the end state describes, minus the one tab that waits on upstream.
How to fix it
Cut a fresh branch on top of the History and Pull Requests tab pieces carrying the Repository pane, the right-panel surface rename and persisted-state migration, and the state-keeping across sub-tab switches, with tests. The PR description states the end state from the series issue. Deferred: the Issues sub-tab.