git-push-both.sh 442 B

12345678910111213
  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. set -euo pipefail
  10. ROOT="$(cd "$(dirname "$0")/.." && pwd)"
  11. echo "note: dual-push to GitHub is OFF. Pushing Konnos only…"
  12. exec "$ROOT/scripts/git-push-konnos.sh" "$@"