From ec82fd6eaa07c3ab1d4ad9af1f01f2d29f278e98 Mon Sep 17 00:00:00 2001
From: Malik Shahzad Muzaffar <shahzad.malik.muzaffar@cern.ch>
Date: Wed, 7 Mar 2018 11:55:52 +0100
Subject: [PATCH] Update update-das-queries

---
 das-utils/update-das-queries | 7 +++++--
 1 file changed, 5 insertions(+), 2 deletions(-)

diff --git a/das-utils/update-das-queries b/das-utils/update-das-queries
index 0aaaeb506729..e831f53cda06 100755
--- a/das-utils/update-das-queries
+++ b/das-utils/update-das-queries
@@ -28,8 +28,11 @@ if [ "$PUSH_RESULTS" = "true" ] ; then
   git add das_queries
   if [ $(git diff --name-only origin/master | wc -l) -gt 0 ] ; then
     git commit -a -m "Updated das queries"
-    git pull --rebase
-    git push origin
+    for tries in 0 1 2 3 4 ; do
+      git pull --rebase || continue
+      git push origin   || continue
+      break
+    done
   fi
   popd
 fi