#!/bin/bash # pre-push — Reject pushes where tests fail. set -euo pipefail REPO_DIR="$(git rev-parse --show-toplevel)" echo "pre-push: running scripts/verify..." exec "${REPO_DIR}/scripts/verify"