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 moreAdding Correctness Conditions to Code Changes