desktop-ubuntu/git/gh-user-mirror.sh

56 lines
1.3 KiB
Bash
Raw Normal View History

2023-06-18 15:34:39 +02:00
#!/bin/bash
# mirroring of all github-(user|org) repos
# use: `gh-user-mirror GH_USER`
# TODO: --(no-)forks, --(no-)update, --sort <types>
## requires
# - `sudo apt install -y curl git`
# - `cargo install sd jql`
MIRRORS='/Data/Code/_github'
GH_USER="$1"
FULL_USER_PATH="$MIRRORS/@$GH_USER"
[ ! -d "$FULL_USER_PATH" ] \
&& mkdir -p "$FULL_USER_PATH"
echo "Mirroring of Github User: '$GH_USER'"
PAGES=` curl --HEAD --silent "https://api.github.com/users/$GH_USER/repos" \
| grep 'rel="last"' \
| sd '^.+page=' '' \
| sd '>; rel="last"[\n\r]+' '' \
`
if [ -z "$PAGES" ]; then
PAGES=1
fi
for LISTING_PAGE in `seq 1 1 "$PAGES"`; do
GH_REPOS=(` curl --silent "https://api.github.com/users/$GH_USER/repos?page=$LISTING_PAGE" \
| jql -i '.|"name"' \
| tr ',' ' ' \
| tr -d '[]"' \
`)
echo "Repos on page $LISTING_PAGE of $PAGES: '${GH_REPOS[@]}'"
for REPO in "${GH_REPOS[@]}"; do
if [ -d "$FULL_USER_PATH/$REPO/.git" ]; then
echo "Updating repo: '$REPO'"
cd "$FULL_USER_PATH/$REPO"
git reset --hard HEAD
git clean -f -d
git pull --depth 1
else
echo "Cloning repo: '$REPO'"
git clone --quiet --depth 1 \
"https://github.com/$GH_USER/$REPO.git" \
"$FULL_USER_PATH/$REPO"
fi
done
done