From 58904b7d9b781c9a7eb18183392b3a565fdbcd51 Mon Sep 17 00:00:00 2001 From: Mitja Felicijan Date: Sat, 8 Jul 2023 23:26:39 +0200 Subject: Removed public folder --- public/git-push-multiple-origins.html | 14 -------------- 1 file changed, 14 deletions(-) delete mode 100755 public/git-push-multiple-origins.html (limited to 'public/git-push-multiple-origins.html') diff --git a/public/git-push-multiple-origins.html b/public/git-push-multiple-origins.html deleted file mode 100755 index 1677c89..0000000 --- a/public/git-push-multiple-origins.html +++ /dev/null @@ -1,14 +0,0 @@ -Push to multiple origins at once in Git

Push to multiple origins at once in Git

May 6, 2023

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"'
-
\ No newline at end of file -- cgit v1.2.3