#!/usr/bin/env bash
set -euo pipefail

# Canonical production deploy entrypoint.
# Windows users should prefer deploy.cmd, which switches into WSL and runs this script.

script_dir="$(cd -- "$(dirname -- "${BASH_SOURCE[0]}")" && pwd)"

exec "$script_dir/scripts/deploy-production.sh" "$@"