Copy a remote git repo to another remote destination

git-copy

#!/bin/sh
#
# Copy a remote git repo to another remote destination
#
# Copyright (C) 2015 Quanlong <[email protected]>

# Options validation
if [ -z "$1" -o -z "$2" ];
then
    echo "Usage: git copy <source_repo_url> <destionation_repo_url>"
    exit 1
fi

SRC_REPO=$1
DST_REPO=$2

# Clone a bare repo
repo_name="${SRC_REPO##*/}"
[[ -d "${repo_name}" ]] || git clone --mirror ${SRC_REPO}
cd ${repo_name}

# Update local refs
git fetch --prune --progress
git fetch --prune --tags --progress

# Push to another repo for mirrors
git push --prune ${DST_REPO} +refs/heads/*:refs/heads/* +refs/tags/*:refs/tags/*