Github prefer https.
Minor document change.