Skip to content

Add hosted pull request workspace and merge actions#46

Merged
danielss-dev merged 10 commits into
mainfrom
codex/hosted-pull-request-view
Jul 13, 2026
Merged

Add hosted pull request workspace and merge actions#46
danielss-dev merged 10 commits into
mainfrom
codex/hosted-pull-request-view

Conversation

@danielss-dev

@danielss-dev danielss-dev commented Jul 13, 2026

Copy link
Copy Markdown
Owner

What changed

  • Add a full-width Pull Requests workspace for GitHub and Azure DevOps repositories.
  • Auto-open the active PR for the checked-out branch; keep the latest 100 PR index shallow and load rich details lazily.
  • Render safe Markdown descriptions and comments, add top-level comments, show semantic check colors, and browse code changes through the Local Changes-style Pierre tree and diff view.
  • Merge active PRs through a GitHub-style split button: run the selected strategy from the primary action or choose merge-commit, squash, or rebase from its keyboard-operable menu.
  • Guard every merge with the exact loaded source commit while leaving required checks, reviews, queues, and branch policies provider-authoritative.
  • Use the signed-in gh or az CLI without reading or storing provider tokens.

Why

Strand needs repository-scoped pull request review and merge workflows without forcing users into a browser or creating another credential store. Provider list/detail/diff calls remain separated so large repositories stay responsive and within query limits.

Validation

  • cargo test -p strand-tauri pull_requests -- --nocapture
  • cargo test -p strand-core (117 tests in a clean CI-like Git config)
  • cargo clippy -p strand-core -p strand-tauri -- -D warnings
  • pnpm --filter ./ui exec tsc --noEmit
  • pnpm --filter ./ui test (208 tests)
  • pnpm --filter ./ui build
  • Live GitHub CLI validation against danielss-dev/strand

@danielss-dev

Copy link
Copy Markdown
Owner Author

does this comments work?

@danielss-dev danielss-dev marked this pull request as ready for review July 13, 2026 15:06
@danielss-dev danielss-dev changed the title Add hosted pull request view Add hosted pull request workspace and merge actions Jul 13, 2026
@danielss-dev danielss-dev merged commit dc29bf1 into main Jul 13, 2026
2 checks passed
@danielss-dev danielss-dev deleted the codex/hosted-pull-request-view branch July 14, 2026 13:52
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