#!/bin/bash
#
# Dev admin tools
#

set -euo pipefail

SCRIPT_DIR="$(cd "$(dirname "${BASH_SOURCE[0]}")" && pwd)"
INFRA_ROOT="${SCRIPT_DIR}/../../../infrastructure"

exec "${INFRA_ROOT}/scripts/dev-setup/dev-admin.sh" "$@"