#!/bin/bash
# Pre-push hook: trigger CoreCI pipeline before any push
exec "$(dirname "$0")/../scripts/trigger_coreci.sh"