Comment by JoshTriplett
9 hours ago
I think there's value in git hooks, but pre-commit is the wrong hook. This belongs in a hook that runs on attempted push, not on commit.
9 hours ago
I think there's value in git hooks, but pre-commit is the wrong hook. This belongs in a hook that runs on attempted push, not on commit.
There's a config option for that :) https://prek.j178.dev/configuration/#default_install_hook_ty...
"pre-commit the tool" supports the pre-push hook (as well as the various other hooks).
formatting should definitely be in pre-commit though, otherwise you'll destroy diffs.
Run the light ones on commit, the heavy ones on push.