2019-01-08 16:22:43 +00:00
|
|
|
#!/bin/sh
|
|
|
|
|
|
|
|
|
|
# Runs a simple check before pushing. In particular, this checks
|
|
|
|
|
# if templates were regenerated and style is correct.
|
|
|
|
|
|
|
|
|
|
echo "Running pre-push git hook."
|
|
|
|
|
|
|
|
|
|
# Runs check for common simple errors before pushing
|
2019-07-12 10:50:23 +00:00
|
|
|
if ! pipenv run make templates_check &> /dev/null
|
2019-01-08 16:22:43 +00:00
|
|
|
then
|
2019-07-12 10:50:23 +00:00
|
|
|
echo >&2 "Templates not updated, run 'pipenv run make templates'. Not pushing."
|
2019-01-08 16:22:43 +00:00
|
|
|
exit 1
|
|
|
|
|
fi
|
|
|
|
|
|
2019-07-12 10:50:23 +00:00
|
|
|
if ! pipenv run make style_check &> /dev/null
|
2019-01-08 16:22:43 +00:00
|
|
|
then
|
2019-07-12 10:50:23 +00:00
|
|
|
echo >&2 "Style invalid, run 'pipenv run make style'. Not pushing."
|
2019-01-08 16:22:43 +00:00
|
|
|
exit 2
|
|
|
|
|
fi
|
|
|
|
|
|
|
|
|
|
echo "pre-push hook passed. Pushing."
|
