#!/usr/bin/env bash
# Git pre-push hook: mirror GitHub CI before pushing to remote.
set -euo pipefail

REPO_ROOT="$(git rev-parse --show-toplevel)"
exec "$REPO_ROOT/.dev/scripts/ci-check.sh"
