Add a script to pull from origin with rebase

2 files changed, 14 insertions, 0 deletions

diff --git a/Makefile b/Makefile
index a3a7693..92b04f5 100644
--- a/Makefile
+++ b/Makefile
@@ -8,3 +8,9 @@ tangle:
 
 link:
 	tangle/link.sh
+
+fetch:
+	git fetch
+
+pull:
+	tangle/pull.sh
diff --git a/README.org b/README.org
index 34ca2b7..c199c9e 100644
--- a/README.org
+++ b/README.org
@@ -25,6 +25,14 @@ git branch -a | grep -v -e +$ -e master | sed "s/[ *] //" | xargs git merge
 git push --force origin master
 #+end_src
 
+To integrate changes from =origin= perform a rebase instead of merge
+to loose the old merge commit but keep any local changes.
+
+#+begin_src shell :shebang "#!/bin/bash" :tangle tangle/pull.sh
+git fetch
+git rebase origin/master master
+#+end_src
+
 ** Updating all tangled files
 This script (re-)tangles all =.org= and =.org.gpg= files in the
 current directory. Run this in case the org files were updated outside