vv221, 21 days ago I just started using remotes with multiple push URLs. That way I can update all mirrors at once with a single call to git push mirrors. Before that I often forgot to push to one of the multiple remotes, leading to out-of-sync mirrors.
I just started using remotes with multiple push URLs. That way I can update all mirrors at once with a single call to git push mirrors.
git push mirrors
Before that I often forgot to push to one of the multiple remotes, leading to out-of-sync mirrors.