Having not reviewed it, how do you know you are never going to merge?

throwaway150 · 2026-02-17T04:46:35 1771303595

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 · 2026-02-17T05:16:00 1771305360

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