summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
Diffstat (limited to '')
-rw-r--r--Makefile6
-rw-r--r--README.org8
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