In #660 we added a .pre-commit file that developers can use to automatically apply formatting and update datestamps. It's a minor annoyance that the commit still goes through even if changes were applied. Then you either have separate "Update datestamps" / "Formatting" commits or have to squash/fixup with git rebase.
This PR changes the pre-commit so that it aborts the commit if any changes were made. Then you just re-run the git commit command with the formatting/date changes included.
In #660 we added a
.pre-commit
file that developers can use to automatically apply formatting and update datestamps. It's a minor annoyance that the commit still goes through even if changes were applied. Then you either have separate "Update datestamps" / "Formatting" commits or have to squash/fixup withgit rebase
.This PR changes the pre-commit so that it aborts the commit if any changes were made. Then you just re-run the
git commit
command with the formatting/date changes included.