add a stamp in the mirror area when done
authorThierry Parmentelat <thierry.parmentelat@sophia.inria.fr>
Tue, 22 Nov 2011 11:34:01 +0000 (12:34 +0100)
committerThierry Parmentelat <thierry.parmentelat@sophia.inria.fr>
Tue, 22 Nov 2011 11:34:01 +0000 (12:34 +0100)
scripts/git-mirror.sh

index 1f2a5b9..ca58ab1 100755 (executable)
@@ -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 () {