Skip to content

feat: pull requests page and review tools - #210

Merged
badcuban merged 5 commits into
mainfrom
feature/pull-requests-page
Sep 3, 2026
Merged

feat: pull requests page and review tools#210
badcuban merged 5 commits into
mainfrom
feature/pull-requests-page

Conversation

@badcuban

@badcuban badcuban commented Sep 3, 2026

Copy link
Copy Markdown
Collaborator

Threadlines had no place to see or work a pull request. Reviewing meant leaving for the host, and a thread that had opened a PR gave no sign of it.

This adds a Pull requests page and a Pull request tab beside every thread that has one.

List. A "Pull Requests" row under General Chats opens a page listing open, merged, and closed pull requests across every project with a remote we can read, plus the ones you authored on repos that are not projects. Rows group into Needs you, Yours, and Others, with search, filters, and sort in the URL. Threads link to their pull request by branch, and sidebar rows show the PR number.

Detail. Summary (description, checks, reviewers, comments), Code (the diff with review conversations pinned to lines, line comments, and a pending review that sends as one), and Timeline. Header actions cover merge with method and delete-branch, close, reopen, draft, update branch, auto-merge, and edits to the title and description. Every write is gated on what the host and the viewer's rights allow.

Hand-offs. Fix a failing check, fix a review finding, explain the PR, ask a question, or resolve conflicts, each written into the linked thread's composer or into a new worktree thread.

Hosts. GitHub through gh, with GitLab, Bitbucket, and Azure DevOps behind the same provider port and per-host capability tables. Reads go through short server-side caches so the page can poll without hammering the host.

Design notes and the step-by-step spec live in docs/design/pull-requests.md.

Threadlines had no place to see the pull requests of a workspace. Every GitHub project's PRs now list on one page, grouped by what needs the user, with each row tied to the thread that produced it and a way to hand a PR to a new thread. A Pull Requests row under General Chats opens it and shows how many PRs need you.

The server reads through gh once per repository and caches for 30 seconds; the capability is advertised so older servers hide the row.
Adds a host-neutral pull request service behind a provider port: GitHub through gh, with GitLab, Bitbucket, and Azure DevOps behind per-host capability tables. Lists, detail, activity, diff, comments, reviews, reactions, edits, reviewers, update branch, auto-merge, and the viewer's own pull requests on repositories outside the workspace. Reads sit behind short caches so the page can poll without hammering the host.
A Pull requests page with open, merged, and closed listings grouped by Needs you, Yours, and Others, search, filters, and sort kept in the URL. A detail panel with Summary, Code, and Timeline tabs: review conversations pinned to diff lines, a pending review that sends as one, merge, close, reopen, draft, update branch, auto-merge, and edits, each gated on what the host and the viewer's rights allow. The same panel opens as a Pull request tab beside a thread. Hand-offs write fix, explain, ask, and resolve-conflicts prompts into a thread's composer. Pages draw a phone header with the sidebar toggle, and the diff viewer warms up when a pull request opens.
A Pull Requests row under General Chats with a needs-you count, and a pull request badge with the number on thread rows that click through to the thread's Pull request tab. Threads whose pull request merged or closed file under Done.
The analysis of the upstream panel and the step-by-step spec the feature was built from.
@vercel

vercel Bot commented Sep 3, 2026

Copy link
Copy Markdown

The latest updates on your projects. Learn more about Vercel for GitHub.

Project Deployment Actions Updated
threadlines Ready Ready Preview Sep 3, 2026 5:04am UTC

Request Review

@github-actions github-actions Bot added vouch:trusted PR author is trusted by repo permissions or the VOUCHED list. size:XXL labels Sep 3, 2026
@badcuban
badcuban merged commit 242168f into main Sep 3, 2026
16 checks passed
@badcuban
badcuban deleted the feature/pull-requests-page branch September 3, 2026 05:18
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

size:XXL vouch:trusted PR author is trusted by repo permissions or the VOUCHED list.

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant