diff options
| author | fpi | 2020-02-23 18:40:09 +0100 | 
|---|---|---|
| committer | fpi | 2020-02-23 18:40:09 +0100 | 
| commit | 5bf8101f2a6f7ca60e09558b08430afc085d2044 (patch) | |
| tree | 9a416f498afa11e2a32dcb821cefc980741a28df | |
| parent | Add git merge script (diff) | |
Exclude branches which match +$ in merge script
Diffstat (limited to '')
| -rw-r--r-- | README.org | 6 | 
1 files changed, 3 insertions, 3 deletions
| @@ -12,13 +12,13 @@ appropriate src block in each configuration file.  ** Git Setup  Every program's configuration lives in its own branch. All branches -are then merged into =master=. To keep the git history clean, I use -this script: +except the ones which end with a plus sign are then merged into +=master=. To keep the git history clean, I use this script:  #+begin_src shell :shebang "#!/bin/bash" :tangle tangle/merge.sh  git checkout master  git reset --hard init -git branch | grep -v private | sed "s/[ *] //" | xargs git merge +git branch | grep -v -e +$ -e master | sed "s/[ *] //" | xargs git merge  git push --force origin master  #+end_src | 
