Repository navigation

Open the selected diff line in the branch's pull request - #6042

Merged

stefanhaller merged 4 commits into

open-pull-request-at-diff-line

Oct 5, 2026

Merged

Open the selected diff line in the branch's pull request#6042
stefanhaller merged 4 commits into
masterfrom
open-pull-request-at-diff-line

Commits on Oct 5, 2026
- Ask one place whether a branch has a pull request
  
  stefanhaller
  and
  claude
  committed
  1228076
- Name a diff line's file in the repo's terms in one place
  
  stefanhaller
  and
  claude
  committed
  2c5629a
- Ask for the panel beneath the focused main view in one place
  
  stefanhaller
  and
  claude
  committed
  d8cb217
- Open the selected diff line in the branch's pull request
  
  stefanhaller
  and
  claude
  committed
  ef71bcf