aboutsummaryrefslogtreecommitdiff
path: root/_posts/notes/2023-05-06-git-push-multiple-origins.md
diff options
context:
space:
mode:
Diffstat (limited to '_posts/notes/2023-05-06-git-push-multiple-origins.md')
-rw-r--r--_posts/notes/2023-05-06-git-push-multiple-origins.md18
1 files changed, 0 insertions, 18 deletions
diff --git a/_posts/notes/2023-05-06-git-push-multiple-origins.md b/_posts/notes/2023-05-06-git-push-multiple-origins.md
deleted file mode 100644
index ce7e64b..0000000
--- a/_posts/notes/2023-05-06-git-push-multiple-origins.md
+++ /dev/null
@@ -1,18 +0,0 @@
1---
2title: Push to multiple origins at once in Git
3permalink: /git-push-multiple-origins.html
4date: 2023-05-06T12:00:00+02:00
5layout: post
6type: note
7draft: false
8tags: [git]
9---
10
11Sometimes you want to push to multiple origins at once. This is useful if you
12have a mirror of your repository on another server. You can do this by adding
13multiple push urls to your git config. This is a shorthand for command above.
14
15```sh
16git config --global alias.pushall '!sh -c "git remote | xargs -L1 git push --all"'
17```
18