Skip to content

Polish PR picker UI - #8

Merged
RestartDK merged 1 commit into
mainfrom
daniel/pr-picker-polish
Jun 26, 2026
Merged

Polish PR picker UI#8
RestartDK merged 1 commit into
mainfrom
daniel/pr-picker-polish

Conversation

@RestartDK

Copy link
Copy Markdown
Owner

Summary

  • redesign PR picker into header, scrollable list, details, and controls sections
  • show changed lines, additions, deletions, and changed file count
  • keep selected PR URL and agent context visible in details
  • make open/copy URL work better over SSH by using OSC 52 terminal clipboard fallback
  • bump Scatterer to v0.1.5

Validation

  • cargo check
  • SDKROOT=$(xcrun --show-sdk-path) RUSTFLAGS="-L native=$(xcrun --show-sdk-path)/usr/lib" cargo test
  • gh pr view 7 --json additions,deletions,changedFiles to verify GitHub fields

@RestartDK
RestartDK merged commit 7d5566e into main Jun 26, 2026
1 check passed
@RestartDK
RestartDK deleted the daniel/pr-picker-polish branch June 26, 2026 17:15
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant