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

		throwaway150 2 days ago \| parent \| context \| favorite \| on: AI is destroying open source, and it's not even go... 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.

		help

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