From d168f618282c1434350120487dacd2d82184f4fd Mon Sep 17 00:00:00 2001
From: Thierry Parmentelat <thierry.parmentelat@sophia.inria.fr>
Date: Tue, 22 Nov 2011 12:34:01 +0100
Subject: [PATCH] add a stamp in the mirror area when done

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

diff --git a/scripts/git-mirror.sh b/scripts/git-mirror.sh
index 1f2a5b9..ca58ab1 100755
--- a/scripts/git-mirror.sh
+++ b/scripts/git-mirror.sh
@@ -191,6 +191,10 @@ 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
 }
 
 function usage () {
-- 
2.45.2