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
}