chore: add push-both script for GitHub + Gitea remotes
Keeps o0kuma/hikikomori and gitea oh/iykyka in sync from this workspace. Co-authored-by: okuma <o0kuma@users.noreply.github.com>
This commit is contained in:
parent
17b10a0e8c
commit
c4ecb5862b
|
|
@ -0,0 +1,8 @@
|
|||
#!/usr/bin/env bash
|
||||
# Push main to GitHub (origin) and Gitea (gitea) remotes.
|
||||
set -euo pipefail
|
||||
BRANCH="${1:-main}"
|
||||
cd "$(dirname "$0")/.."
|
||||
git push -u origin "$BRANCH"
|
||||
git push -u gitea "$BRANCH"
|
||||
echo "Pushed $BRANCH → origin (GitHub) + gitea (gitea.iykyka.com/oh/iykyka)"
|
||||
Loading…
Reference in New Issue