* Prefer using https:// instead of git://
Both protocols are "smart" and should have similar performance.
HTTPS is encrypted, while the Git transport is plaintext.
HTTPS verifies the certificate of the server.
* Clean up comment
- "the source" means "s"
- no need to enumerate protocols