how to download a git repository

Shell
git clone "then thing you can copy with https"
Source

Also in Shell: