| ▲ | throwaway150 2 hours ago | |
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 an hour ago | parent [-] | |
I took this thread as asking whether PRs that are pulled in should be reviewed. | ||