This makes me think... maybe this could be generalized into a linter-as-a-service that occasionally submits pull requests for obvious style wins. Maybe just com

This makes me think... maybe this could be generalized into a linter-as-a-service that occasionally submits pull requests for obvious style wins. Maybe just commenting on existing pull requests to be less annoying (and because there's a better chance it can be fixed by the issue opener).