Skip to content

[task] Add app-server PR list and view methods #9

@phongndo

Description

@phongndo

Goal

Expose GitHub pull request list and detail data through the app-server.

Why this matters

PR workflow is the core surface for the future TUI and desktop dashboards. The app-server should own PR lookup so both frontends stay aligned.

Command/API target

Add behavior for these app-server methods:

github.pr.list
github.pr.view

Depends on

Out of scope

  • Do not implement PR creation, merge, checkout, or review actions.
  • Do not implement checks or review threads here.
  • Do not build TUI or desktop PR panels here.

Definition of done

  • PR list returns open PRs for the current GitHub repo.
  • PR view returns title, body, state, author, branch/base, labels, review decision if available, and URL.
  • No-auth, no-repo, missing-PR, and empty-list states are distinguishable.

Verification

  • cargo fmt --all --check
  • cargo check --workspace
  • Manual stdio app-server requests for list and view included in the PR description.

Contributor notes

Keep the first version read-only and GitHub-only.

Metadata

Metadata

Assignees

No one assigned

    Labels

    area: protocolApp-server protocol types, schemas, and client/server message contracts.help wantedMaintainers would welcome a community contribution on this work.kind: featureA user-facing capability request.

    Type

    No type

    Projects

    No projects

    Relationships

    None yet

    Development

    No branches or pull requests

    Issue actions