git checkout remote repository code example

Example: how to download a git repository

git clone "then thing you can copy with https"