#!/usr/bin/env bash
# publish-issue.sh — copy a staging ticket's current content to production, on demand.
# One-way, idempotent (re-running updates the existing mirror). See #186.
set -euo pipefail
exec python3 "$(cd "$(dirname "${BASH_SOURCE[0]}")" && pwd)/publish_issue.py" "$@"