From f6a8502a62fa64f27c8a2fa50115ce2814925376 Mon Sep 17 00:00:00 2001
From: Baris Metin <Talip-Baris.Metin@sophia.inria.fr>
Date: Fri, 18 Jun 2010 15:25:00 +0200
Subject: [PATCH] define fetch sources

---
 scripts/git-mirror.sh | 6 +++---
 1 file changed, 3 insertions(+), 3 deletions(-)

diff --git a/scripts/git-mirror.sh b/scripts/git-mirror.sh
index 5dbc411..5f42d64 100755
--- a/scripts/git-mirror.sh
+++ b/scripts/git-mirror.sh
@@ -14,8 +14,8 @@ function mirror () {
         then
 	    echo "xxxxxxxxxxxxxxxxxxxxxxxxxxxxxx pulling from ${REPO_NAME}"
             pushd ${REPO}
-            git fetch --tags
-            git pull
+            git fetch origin --tags
+            git pull origin master
             popd
         else
             echo "xxxxxxxxxxxxxxxxxxxxxxxxxxxxxx mirroring in ${REPO_NAME} for the first time"
@@ -28,7 +28,7 @@ function mirror () {
         echo "xxxxxxxxxxxxxxxxxxxxxxxxxxxxxx pushing ${REPO_NAME} to local master"
         pushd ${REPO}
         git fetch local_master --tags
-        git pull local_master
+        git pull local_master master
             
         git push local_master
         git push --tags local_master
-- 
2.43.0