Closed alice closed 7 months ago
It prevents merging if the PR has formatting errors/trailing whitespace/no newline at end of file. Just like how pre-commit locally prevents the commit, but in this case without actually making the changes.
Edit: Oh! It actually makes the changes, I was wrong. You can see in the commit history on this change now (but I'll revert those changes before landing, since it adds some pointless comments too.)
I think we can do this now that we're a public repo!