From 61b7431ff03c10ddab7a2888dbeefda7eec9b167 Mon Sep 17 00:00:00 2001 From: Volkan Gezer Date: Mon, 4 Aug 2014 14:36:13 +0200 Subject: [PATCH] add rebase option --- developer_manual/general/devenv.rst | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/developer_manual/general/devenv.rst b/developer_manual/general/devenv.rst index 610197539..c016fd714 100644 --- a/developer_manual/general/devenv.rst +++ b/developer_manual/general/devenv.rst @@ -93,7 +93,7 @@ If you have more than one repository cloned, it can be time consuming to do the then, e.g. to pull all changes in all repositories, you only need this:: - find . -maxdepth 3 -type d -name .git -exec sh -c 'cd "{}"/../ && pwd && git pull' \; + find . -maxdepth 3 -type d -name .git -exec sh -c 'cd "{}"/../ && pwd && git pull --rebase' \; or to prune all merged branches, you would execute this::