git-push-both.sh13 lines · main

1	#!/usr/bin/env bash
2	# DEPRECATED dual-push (GitHub + Konnos).
3	#
4	# flndrn 2026-07: production source of truth is Konnos only.
5	# GitHub dual-push was dropped — use:
6	# ./scripts/git-push-konnos.sh
7	#
8	# This wrapper still works so old muscle memory does not push to GitHub.
9
10	set -euo pipefail
11	ROOT="$(cd "$(dirname "$0")/.." && pwd)"
12	echo "note: dual-push to GitHub is OFF. Pushing Konnos only…"
13	exec "$ROOT/scripts/git-push-konnos.sh" "$@"