remote clone

Clones a Github repository in a remote host

Parameters

repo_url

• The URL of the repo to clone

dest

• The directory where the repo should be cloned

version

• The git version to clone

• default value: main

force

• Force the git clone