Marsymars 5 hours ago

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

anttihaapala 9 hours ago

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

esafak 10 hours ago

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