Nail/fission-src

Files

T

History

Ta-Ching ChenandGitHub 6f5f6900b6 Fix githook not aborting push if error occurrs (#1386 )

2019-11-08 23:47:40 +08:00

..

pre-push

Fix githook not aborting push if error occurrs (#1386 )

2019-11-08 23:47:40 +08:00

README.md

Update Makefile and add git pre-push hook (#1382 )

2019-11-06 13:13:48 +08:00

README.md

Git hooks

pre-push: Check, build and test the changes.

$ cp githooks/* .git/hooks/