From f6e4ca0d2d3f9c2aad773b3d5b196cc112aca253 Mon Sep 17 00:00:00 2001
From: Arun Raghavan <arun@accosted.net>
Date: Wed, 23 Jul 2014 00:15:17 +0530
Subject: [PATCH] scripts: Use git pull --rebase

No point introducing redundant merge commits.
---
 scripts/git-update.sh | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/scripts/git-update.sh b/scripts/git-update.sh
index e9c7494e61..43124a5f13 100755
--- a/scripts/git-update.sh
+++ b/scripts/git-update.sh
@@ -35,12 +35,12 @@ for m in $CORE $MODULES $EXTRA_MODULES; do
     echo "+ updating $m"
     cd $m
 
-    git pull
+    git pull --rebase
     if test $? -ne 0
     then
       echo "$m: update (trying stash, pull, stash apply)" >> $ERROR_LOG
       git stash
-      git pull
+      git pull --rebase
       if test $? -ne 0
       then 
         echo "$m: update" >> $ERROR_LOG