Join GitHub today
GitHub is home to over 40 million developers working together to host and review code, manage projects, and build software together.Sign up
chore: stage linted files before commit #1102
I understand, but maybe others don't like the idea of pushing code that has been altered by a linter without being reviewed: currently you have to accept the suggestions manually, so you are aware of the changes.
Since this change would affect the workflow of all the devs, asking to the rest of maintainers is a must.