chore: add push_all.sh and document remotes in README

Co-Authored-By: Claude Opus 4.7 (1M context) <noreply@anthropic.com>
2026-04-21 19:11:43 +02:00
parent 2e44535949
commit 717ab2173e
2 changed files with 25 additions and 3 deletions
@@ -0,0 +1,13 @@
+#!/usr/bin/env bash
+# Push master to both remotes (gitea + github).
+set -euo pipefail
+
+cd "$(dirname "${BASH_SOURCE[0]}")"
+
+echo "→ Pushing to Gitea..."
+git push gitea master
+
+echo "→ Pushing to GitHub..."
+git push github master
+
+echo "✓ Both remotes updated."