error "git-mirror.sh failed on ${MIRROR_REPO}" "STATUS:\n$STATUS_OUT \n\n------------\n FAILED COMMANDS:\n$FAILED_CMDS" $REPO_DIR
else
run "git push --tags local_master" ${REPO_DIR}
error "git-mirror.sh failed on ${MIRROR_REPO}" "STATUS:\n$STATUS_OUT \n\n------------\n FAILED COMMANDS:\n$FAILED_CMDS" $REPO_DIR
else
run "git push --tags local_master" ${REPO_DIR}
# success, remove previous check file if any
CHECK_FILE=$REPO_DIR/$NOTIFIED_FILE
# success, remove previous check file if any
CHECK_FILE=$REPO_DIR/$NOTIFIED_FILE