summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorfpi2020-02-23 18:43:50 +0100
committerfpi2020-02-23 18:43:50 +0100
commit699c269abaf109e4f997e50e68a76e0454f5cdf1 (patch)
tree55e682eb13154168cea137e004b5c6a03d39f764
parentExclude branches which match +$ in merge script (diff)
Include remote branches in the merge script
Diffstat (limited to '')
-rw-r--r--README.org2
1 files changed, 1 insertions, 1 deletions
diff --git a/README.org b/README.org
index 929e139..0877cc1 100644
--- a/README.org
+++ b/README.org
@@ -18,7 +18,7 @@ except the ones which end with a plus sign are then merged into
#+begin_src shell :shebang "#!/bin/bash" :tangle tangle/merge.sh
git checkout master
git reset --hard init
-git branch | grep -v -e +$ -e master | sed "s/[ *] //" | xargs git merge
+git branch -a | grep -v -e +$ -e master | sed "s/[ *] //" | xargs git merge
git push --force origin master
#+end_src