From bfe46f416290f31d01e5a15dc3d015a5d47808e4 Mon Sep 17 00:00:00 2001
From: =?utf8?q?Bar=C4=B1=C5=9F=20Metin?= <Talip-Baris.Metin@sophia.inria.fr>
Date: Thu, 4 Nov 2010 09:45:54 +0100
Subject: [PATCH] remove check file just after pushing to branches

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

diff --git a/scripts/git-mirror.sh b/scripts/git-mirror.sh
index 029fcab..949234f 100755
--- a/scripts/git-mirror.sh
+++ b/scripts/git-mirror.sh
@@ -139,11 +139,12 @@ function mirror () {
             else
                 run "git push --tags local_master" ${REPO_DIR}
                 push_all_branches $NAME local_master $REPO_DIR
+
+                # success, remove previous check file if any
+                CHECK_FILE=$REPO_DIR/$NOTIFIED_FILE
+                rm -f $CHECK_FILE
             fi
         fi
-
-        CHECK_FILE=$REPO_DIR/$NOTIFIED_FILE
-        rm -f $CHECK_FILE
     done
 }
 
-- 
2.47.0