#!/usr/bin/env bash
# Pre-push gate. Blocks the push if any quality check fails.
#
# Install: `make hooks` (points git core.hooksPath at .githooks/).
# Bypass: never. If this runs slowly, fix the slow test; don't reach
# for --no-verify (git-commit skill forbids it).
set -euo pipefail

cd "$(git rev-parse --show-toplevel)"

echo "==> pre-push: make push-check"
make push-check
