From 847e1a755d3974e4b7a4b6fd6f31081f77f8d597 Mon Sep 17 00:00:00 2001
From: Thierry Parmentelat <thierry.parmentelat@sophia.inria.fr>
Date: Tue, 22 Nov 2011 13:46:30 +0100
Subject: [PATCH] do not care about the current branch in the mirror area

---
 scripts/git-mirror.sh | 2 --
 1 file changed, 2 deletions(-)

diff --git a/scripts/git-mirror.sh b/scripts/git-mirror.sh
index ca58ab1..b959804 100755
--- a/scripts/git-mirror.sh
+++ b/scripts/git-mirror.sh
@@ -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
 }
-- 
2.45.2