Switch git clone example to use https.