Replace git remote update with fetch
authorHugo Villeneuve <hugo@hugovil.com>
Wed, 15 Nov 2017 05:03:48 +0000 (00:03 -0500)
committerHugo Villeneuve <hugo@hugovil.com>
Wed, 15 Nov 2017 05:03:48 +0000 (00:03 -0500)
scripts/git-project-fetch.sh

index 483e2ff..4f248b7 100755 (executable)
@@ -37,7 +37,7 @@ remote_update_repo()
     echo "Repo ${r}:"
 
     pushd "${r}" 1> /dev/null
-    git remote update 1> /dev/null
+    git fetch --all --prune 1> /dev/null
     vco master
     git pull --ff-only
     vco latest