Adding Correctness Conditions to Code Changes

Today I looked at the first PR on our new project repo. It added a new run script, but the README didn’t mention it. The proposed change was incomplete, because the documentation was out of sync. Did I comment on the PR? heck no. I want to fix this problem for all PRs, not just ... Read more Adding Correctness Conditions to Code Changes