how do I download a repo from github on git code example Example: how to download a git repository git clone "then thing you can copy with https"