Use https for git clone to avoid authentication