remove check file just after pushing to branches
authorBarış Metin <Talip-Baris.Metin@sophia.inria.fr>
Thu, 4 Nov 2010 08:45:54 +0000 (09:45 +0100)
committerBarış Metin <Talip-Baris.Metin@sophia.inria.fr>
Thu, 4 Nov 2010 08:45:54 +0000 (09:45 +0100)
scripts/git-mirror.sh

index 029fcab..949234f 100755 (executable)
@@ -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
 }