Functionsยง
- download
- download_
and_ extract_ repo - Downloads a gzip archive from
url, extracts it, moves the result todest, resets the git repo, and deletes gitignored files.
url, extracts it, moves the result to
dest, resets the git repo, and deletes gitignored files.