aboutsummaryrefslogtreecommitdiff
path: root/scripts/hooks/pre-push
blob: c4fbcaf75f01e495dbf4e4cb2befb3d2f6c1dac9 (plain) (blame)
1
2
3
4
5
#!/bin/sh
# lectio pre-push hook: refuse to push if the CI gate fails (gofmt, vet, both
# build-tag test sets, corpora). Install with `make install-hooks`.
# Bypass in a pinch with `git push --no-verify`.
exec make -C "$(git rev-parse --show-toplevel)" ci