#!/bin/sh

# Half-ORM pre-push hook
# Blocks git push on production servers (read-only mode).
# Generated by half_orm_dev

# =============================================================================
# PRODUCTION SERVER GUARD
# =============================================================================
REPO_ROOT="$(git rev-parse --show-toplevel 2>/dev/null)"
if [ -f "${REPO_ROOT}/.hop/production" ]; then
    echo "ERROR: git push is not allowed on a production server." >&2
    echo "       This repository is read-only (production mode)." >&2
    echo "       Changes are deployed via 'hop upgrade', never pushed directly." >&2
    exit 1
fi

exit 0
