Use public git, not ssh
Update redis contrib files