From 22f5ac8fcec4dbfcc1f5033f18bc4eeca52a747d Mon Sep 17 00:00:00 2001 From: Mitja Felicijan Date: Tue, 31 Oct 2023 08:20:22 +0100 Subject: Made the side more retro! --- public/git-push-multiple-origins.html | 22 ++++++++++++---------- 1 file changed, 12 insertions(+), 10 deletions(-) (limited to 'public/git-push-multiple-origins.html') diff --git a/public/git-push-multiple-origins.html b/public/git-push-multiple-origins.html index b17ba3f..3c06c9c 100755 --- a/public/git-push-multiple-origins.html +++ b/public/git-push-multiple-origins.html @@ -1,12 +1,15 @@ -Push to multiple origins at once in Git

Push to multiple origins at once in Git

note, May 6, 2023 on Mitja Felicijan's blog

Sometimes you want to push to multiple origins at once. This is useful if you have a mirror of your repository on another server. You can do this by adding multiple push urls to your git config. This is a shorthand for command above.

git config --global alias.pushall '!sh -c "git remote | xargs -L1 git push --all"'
-

Posts from blogs I follow around the net