[scripts] git_checkout.sh, checkout origin/$REMOTE.

diff --git a/scripts/git_checkout.sh b/scripts/git_checkout.sh
index c87cf7a659f95d9712b21d6f6af5d2fe61c687c6..01377f80166af891c34f89030ac994fcb27d30af 100755 (executable)
--- a/scripts/git_checkout.sh
+++ b/scripts/git_checkout.sh
@@ -41,7 +41,7 @@ git_checkout()
 
         echo "Try to switch to the branch $checkout."
         set +e
-        ( cd "$path" && git checkout -b "$checkout" "$checkout" 2>/dev/null)
+        ( cd "$path" && git checkout -b "$checkout" "origin/$checkout" 2>/dev/null)
         set -e
 }