当前解决方案,带有本地副本
## Init once
git clone --bare url/origin-server/repo
git remote add mirror url/mirror-server/repo
## usual procedure
git fetch origin --force --prune '*:*'
git push --mirror mirror
要使用类似的
git remote-mirror url/origin-server/repo url/mirror-server/repo
,无需本地副本。