travis and redis