do not care about the current branch in the mirror area
authorThierry Parmentelat <thierry.parmentelat@sophia.inria.fr>
Tue, 22 Nov 2011 12:46:30 +0000 (13:46 +0100)
committerThierry Parmentelat <thierry.parmentelat@sophia.inria.fr>
Tue, 22 Nov 2011 12:46:30 +0000 (13:46 +0100)
scripts/git-mirror.sh

index ca58ab1..b959804 100755 (executable)
@@ -191,8 +191,6 @@ function mirror_repo () {
     fi
     # success, remove previous check file if any
     clear_notify $REPO_DIR
-    # reset to branch master if exists
-    run -i ${REPO_DIR} git checkout master
     # touch a stamp so it's easier to figure out where/if things get stuck
     touch ${REPO_DIR}/MIRRORED.stamp
 }