Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
Generate PR suggestions when formatting is wrong
This should make it much easier to do drive-by changes in the GitHub editor: the comment should contain a diff that can be committed directly from the online editor.
- Loading branch information