#!/bin/sh
# Pre-push gate: same checks CI would run. Refuses to push if anything fails.
set -e
cd "$(git rev-parse --show-toplevel)"
make check
echo "pre-push gate passed — safe to push"