Comment by JoshTriplett
13 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.
13 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...
formatting should definitely be in pre-commit though, otherwise you'll destroy diffs.
"pre-commit the tool" supports the pre-push hook (as well as the various other hooks).
Run the light ones on commit, the heavy ones on push.