1 files changed, 7 insertions, 0 deletions
diff --git a/scripts/hooks/pre-push b/scripts/hooks/pre-push
new file mode 100755
index 0000000..83b2043
--- /dev/null
+++ b/scripts/hooks/pre-push
@@ -0,0 +1,7 @@
+#!/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