Skip to content

Land the Repository pane hosting History and Pull Requests as its own branch #18

Description

@Defmon3

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.

Activity

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Metadata

Metadata

Assignees

No one assigned

    Labels

    No labels
    No labels

    Projects

    No projects

      Milestone

      No milestone

      Relationships

      None yet

      Development

      No branches or pull requests

      Issue actions