| ▲ | JoshTriplett 6 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. | ||
| ▲ | fortuitous-frog 6 hours ago | parent | next [-] | |
There's a config option for that :) https://prek.j178.dev/configuration/#default_install_hook_ty... | ||
| ▲ | Marsymars 2 hours ago | parent | prev | next [-] | |
"pre-commit the tool" supports the pre-push hook (as well as the various other hooks). | ||
| ▲ | anttihaapala 6 hours ago | parent | prev | next [-] | |
formatting should definitely be in pre-commit though, otherwise you'll destroy diffs. | ||
| ▲ | esafak 6 hours ago | parent | prev [-] | |
Run the light ones on commit, the heavy ones on push. | ||