| name | pr |
| description | toolkit for llm-friendly interaction with GitHub pull requests; using this skill the LLM can fetch PR data and analyze it |
| metadata | {"short-description":"LLM-friendly interactions with GitHub PRs"} |
Import pull request data as markdown
Use this skill to fetch PR metadata and file diffs into LLM-friendly Markdown files.
Prereqs
- Ensure
gh is installed and gh auth login has been completed.
- Confirm setup:
python3 .codex/skills/pr/scripts/get_pr_data.py ensure-setup returns zero exit code.
Usage
Fetch a PR by number:
python3 .codex/skills/pr/scripts/get_pr_data.py get-pr 354
Fetch from a specific repo:
python3 .codex/skills/pr/scripts/get_pr_data.py get-pr 354 --repo tonkeeper/ios_private
Write to a custom output directory:
python3 .codex/skills/pr/scripts/get_pr_data.py get-pr 354 --output /tmp/pr-354
Output
- Default directory:
.context/tasks/<PR_NUMBER>/ (relative to repo root)
- One markdown file per diff (
0.md, 1.md, ...) with keys as headings and the patch field in a diff code block.
sha.json with base commit metadata is written to the same directory..env is loaded from the repo root if present.
