List pull requests
project_pr_listLists pull or merge requests for a repository, optionally filtered by state, head, or base branch, to find PR numbers or review open/closed status.
Instructions
List pull/merge requests for a repo, optionally filtered by state, head or base branch. Use when: you need the PR number for a branch (before commenting/merging) or a quick open/closed overview. Avoid when: you already know the PR number (use project_pr_comment / project_pr_merge directly). Speed: one API call; read-only and batch-safe. Output: pr_list: repo, provider, state, total, prs[] {number, title, state, draft, head, base, author, url}. Batch-safe: yes
Input Schema
| Name | Required | Description | Default |
|---|---|---|---|
| base | No | Filter by target/base branch. | |
| head | No | Filter by source/head branch. | |
| repo | No | Repository as "owner/name" or a PR URL (default: VENIRA_GIT_REPO, git.repo in venira.config.json, else the workspace .git origin remote). | |
| limit | No | Max PRs to return (default 20, cap 100). | |
| state | No | Filter by state (default: open). | |
| provider | No | Provider override for this call (default: VENIRA_GIT_PROVIDER, then venira.config.json, then inferred from the origin remote). |