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
No comments yet. Log in to reply on the Fediverse. Comments will appear here.