A python script to download the latest GitHub Releases.
usage: main.py [-h] [--repo-file REPO_FILE] [--base-dir BASE_DIR] [-v] [--clean-up]
options:
-h, --help show this help message and exit
--repo-file REPO_FILE
the path to a repo file
--base-dir BASE_DIR the path to the base dir
-v, --version standalone: show the version
--clean-up whether to delete old artifacts or not
Set the environment variable HTTP_PROXY
to an http proxy.
Note: A certain bug of Python might causes issues with proxies. This PR fixes the bug but it has not been merged yet.
MIT