diff --git a/docs/git/hooks/pre-push b/docs/git/hooks/pre-push new file mode 100644 index 0000000000..cd7a03d471 --- /dev/null +++ b/docs/git/hooks/pre-push @@ -0,0 +1,22 @@ +#!/bin/sh + +# Runs a simple check before pushing. In particular, this checks +# if templates were regenerated and style is correct. +# Put this file to `.git/hooks/`. + +echo "Running pre-push git hook." + +# Runs check for common simple errors before pushing +if ! make templates_check &> /dev/null +then + echo >&2 "Templates not updated, run 'make templates'. Not pushing." + exit 1 +fi + +if ! make style &> /dev/null +then + echo >&2 "Style invalid, run style make commands. Not pushing." + exit 2 +fi + +echo "pre-push hook passed. Pushing."