add git pre push hook - #2553

Merged

nedtwigg merged 7 commits into

diffplug:mainfrom

lazer-dev:git-pre-push-hook

Jul 20, 2025

Commits on Jul 17, 2025

add git pre push hook
lazer-dev
committed
e6e9a07
spotlessApply
lazer-dev
committed
6528b0b
Placeholders for docs.
ntwigg
committed
b9f4880

Commits on Jul 18, 2025

maven wrapper support
lazer-dev
committed
a790659
reinstall support
lazer-dev
committed
525e70e
Modify git-hook docs, with an eye towards a future where there is both a pre-push hook or a pre-commit hook, depending on what the user prefers.
ntwigg
committed
259ec38

Commits on Jul 19, 2025

uninstall fix
lazer-dev
committed
2dadeb6