Quick start: use HTTPS for git clone