path: root/scripts/hooks/pre-push

#!/bin/sh
# Refuse to push anything that would not survive `make ci`.
#
# git never clones hooks, so on a fresh checkout this must be installed with
# `make install-hooks`.
set -e
exec make ci