From b5a579cc412b1ac14c44b082a9f7d1fd1fdb0fbd Mon Sep 17 00:00:00 2001
From: Ruben Ayrapetyan <r.ayrapetyan@samsung.com>
Date: Wed, 17 Sep 2014 15:38:06 +0400
Subject: [PATCH] Pulling before pre-push testing instead of just before
 pushing in ./tools/push.sh.

---
 tools/push.sh | 20 +++++++++++---------
 1 file changed, 11 insertions(+), 9 deletions(-)

diff --git a/tools/push.sh b/tools/push.sh
index 62e2b4b9e..2a67ada98 100755
--- a/tools/push.sh
+++ b/tools/push.sh
@@ -31,6 +31,17 @@ then
   echo -e "\n\n  $GIT_STATUS_CONSIDER_CLEAN_MSG.\e[0m\n"
 fi
 
+echo "Pulling..."
+
+make pull
+status_code=$?
+
+if [ $status_code -ne 0 ]
+then
+  echo "Pull failed"
+  exit 1
+fi
+
 ok_to_push=1
 
 current_branch=`git branch | grep "^* " | cut -d ' ' -f 2`
@@ -133,15 +144,6 @@ if [ $ok_to_push -eq 1 ]
 then
   if [ "`git status --porcelain 2>&1 | wc -l`" == "0" ]
   then
-    echo "Pulling..."
-    make pull
-    status_code=$?
-    if [ $status_code -ne 0 ]
-    then
-      echo "Pull failed"
-      exit 1
-    fi
-
     echo "Pushing..."
     echo