Commenting on mundane errors in pull requests is not the high point of any developer’s day. The knowledge that tools exist to catch and silently…