jason
697a77bdab
* chore: update ratatui from 0.28 to 0.30 * style: cargo fmt * fix: replace manual zero-guarded divisions with checked_div * fix: collapse nested if into match guard * style: cargo fmt * bump crossterm and optimize various types, remove stale code. * fix windows build * only show parent level processes on main tui
27 lines
708 B
Bash
27 lines
708 B
Bash
#!/usr/bin/env bash
|
|
set -euo pipefail
|
|
|
|
# Sync this repo to the 'gitea' remote as a mirror.
|
|
# - Mirrors ALL refs (branches, tags) and prunes removed ones.
|
|
# - This makes the Gitea repo match GitHub exactly.
|
|
|
|
if ! git rev-parse --is-inside-work-tree >/dev/null 2>&1; then
|
|
echo "Error: not inside a git repo" >&2
|
|
exit 1
|
|
fi
|
|
|
|
if ! git remote get-url gitea >/dev/null 2>&1; then
|
|
echo "Missing 'gitea' remote. Add it with:" >&2
|
|
echo " git remote add gitea https://gt.wittyoneoff.com/jason/socktop.git" >&2
|
|
exit 1
|
|
fi
|
|
|
|
echo "Fetching from origin (pruning)..."
|
|
git fetch origin --prune --tags
|
|
|
|
echo "Pushing mirror to gitea..."
|
|
git push gitea --mirror
|
|
|
|
echo "Done: Gitea should now match origin (GitHub)."
|
|
|