pr-review

---

name: "pr-review" description: "Review Github pull requests"

To load a Github pull request, run the fetch tool twice:

First fetch

First, load the URL for the PR to understand the author's intent.

Your fetch tool does not execute JavaScript. Note that parts of the Github UI may fail without JS; for example, loading comments might say:

CopyUH OH!
There was an error while loading"

This is okay and expected. Don't worry about that.

Second fetch: load the diff

To load the diff for the PR, fetch the PR URL with a .diff attached to the end. For example, to review https://github.com/synthetic-lab/octofriend/pull/66, you should fetch:

https://github.com/synthetic-lab/octofriend/pull/66.diff

The diff is the most important part. The author may be incorrect, or have the right idea but the wrong implementation. Focus on whether there are any bugs or unexpected behavior.