[throwaway150]

If a PR claims to solve a problem that I don't need, then I can skip its review because I'll never merge it.

I don't think every PR needs reviewing. Some PRs we can ignore just by taking a quick look at what the PR claims to do. This only requires a quick glance, not a PR review.

[mwwaters]

I took this thread as asking whether PRs that are pulled in should be reviewed.