Change clone protocol from git:// to https://

Cloning with git: protocol doesn't allow to change anything in `.git/`, like when using `git pull`.
Merge pull request #10896 from ZDroid/patch-3

Change clone protocol from git:// to https://