use travis redis