devonfw#687: fix git pull issues

improve robustness for network issues
hohwille · May 31, 2022 · 3d0e634 · 3d0e634
1 parent 402d7b7
commit 3d0e634
Showing 1 changed file with 3 additions and 1 deletion.
diff --git a/scripts/src/main/resources/scripts/functions b/scripts/src/main/resources/scripts/functions
@@ -1053,7 +1053,9 @@ function doGitPullOrClone() {
       fi
       local branch
       branch="$(git branch --show-current)"
-      if [ -z "$(git ls-remote --heads origin "${branch}")" ]
+      local branchRemoteRef
+      branchRemoteRef="$(git ls-remote --heads origin "${branch}")"
+      if [ -z "{branchRemoteRef}" ]
       then
         message="${message}It seems you are working on a local branch. For testing, you may continue...\n"
       else