Simple, technical, high-fidelity tl;dr of a GitHub PR — grounded in the real diff, jargon explained inline A developer created a tool that generates concise, technically precise summaries of GitHub pull requests by grounding them in the actual diff rather than the PR description. The tool resolves the PR from a URL, number, or current branch, fetches metadata and diff via the GitHub CLI, and produces a structured tl;dr with inline jargon glosses, flagging discrepancies between description and code. Error in user YAML: