fix: push_catalogs.sh uses ilsp.i80.dk (not lsp.i80.dk)

scripts/push_catalogs.sh

@@ -13,8 +13,8 @@ set -euo pipefail
 DEVOPS_MCP_REPO="${DEVOPS_MCP_REPO:-$HOME/Projects/DevOpsMCP}"
 AUTOBOX="autobox.i80.dk"
 REMOTE_DIR="/opt/nomad/volumes/ilsp-data"
-HEALTH_URL="https://lsp.i80.dk/health"
-RELOAD_URL="https://lsp.i80.dk/reload"
+HEALTH_URL="https://ilsp.i80.dk/health"
+RELOAD_URL="https://ilsp.i80.dk/reload"
 NO_RELOAD=false
 
 for arg in "$@"; do
@@ -52,7 +52,7 @@ echo "  → Calling $RELOAD_URL …"
 if response=$(curl -sf -X POST "$RELOAD_URL" 2>/dev/null); then
   echo "  ✓ $response"
 else
-  echo "  ✗ /reload failed (is lsp.i80.dk reachable? try: make health-prod)"
+  echo "  ✗ /reload failed (is ilsp.i80.dk reachable? try: curl https://ilsp.i80.dk/health)"
   echo "    Catalogs are on disk — they'll be used on next restart."
   exit 1
 fi