checkout
checkout copied to clipboard
Add option to checkout via REST API
Currently, if git is not installed, a repo is downloaded via the GitHub REST API. An option should be added to download a repository via REST even when git is installed.
Downloads via REST API can be 2 to 3x faster in some cases, so would be nice to be able to explicitly choose that option.