GitHub PR Lister

List all PRs authored by the current user since a given date across one or more GitHub repos.

Inputs

• since_date: ISO date string (e.g., "2026-01-01"). Required.
• repos: List of GitHub repos. If empty, query all repos in the org.
• org: GitHub org. Default: CXEPI.
• author: GitHub username. Default: current authenticated user.

Prerequisites

gh auth status — if fails: "Run gh auth login."

Workflow

Step 1 — Identify repos

If repos not provided: gh repo list ORG --limit 500 --json name --jq '.[].name'

Step 2 — Fetch PRs

For each repo:

gh pr list --repo ORG/REPO_NAME --author AUTHOR --state all --search "created:>=SINCE_DATE" --limit 500 --json number,title,body,mergedAt,createdAt,reviewDecision,url

Step 3 — Compile and return

- repo: ORG/repo-name
  pr: #123
  title: "PR title"
  created: 2026-01-15
  merged: 2026-01-16
  review_decision: APPROVED
  url: https://github.com/CXEPI/repo-name/pull/123

Rules

• Include both merged and unmerged PRs — caller decides filtering.
• Do not summarize or filter — return raw metadata.
• Never return partial results without warning.

Delegate → tessl__github-pr-lister-pagination for pagination and error handling.