Use https for git clone.