From 19dc18f4a90ba99d694a21206b2dd94a45c20f4e Mon Sep 17 00:00:00 2001
From: Andrei Alexandrescu <andrei@erdani.com>
Date: Fri, 14 Mar 2014 15:59:55 -0700
Subject: [PATCH] Add explicit repo name to git fetch and git fetch --tags

---
 update.sh | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/update.sh b/update.sh
index 3969d11..b03fdfa 100755
--- a/update.sh
+++ b/update.sh
@@ -142,8 +142,8 @@ function update() {
             git checkout master && \
             git pull --ff-only $gitproject master && \
             git pull $gitproject master --tags && \
-            git fetch && \
-            git fetch --tags) 2>$tempdir/$project.log
+            git fetch $gitproject && \
+            git fetch --tags $gitproject) 2>$tempdir/$project.log
         then
             echo "Failure updating $wd/$project." >>$tempdir/errors
             exit 1