#!/usr/bin/env bash # Tiny CI trigger helper — appends a timestamp to docs/RELEASING.md and pushes. set -euo pipefail BR="${1:-update}" FILE="docs/RELEASING.md" if ! git rev-parse --is-inside-work-tree >/dev/null 2>&1; then echo "Not inside a git repo"; exit 1 fi git checkout "$BR" echo "$(date -u +'%Y-%m-%dT%H:%M:%SZ') – CI smoke" >> "$FILE" git add "$FILE" git commit -m "chore(ci): smoke trigger" git push -u origin "$BR" echo "Pushed to $BR."