[JoshTriplett]

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.

[fortuitous-frog]

There's a config option for that :) https://prek.j178.dev/configuration/#default_install_hook_ty...

[anttihaapala]

formatting should definitely be in pre-commit though, otherwise you'll destroy diffs.

[Marsymars]

"pre-commit the tool" supports the pre-push hook (as well as the various other hooks).

[esafak]

Run the light ones on commit, the heavy ones on push.