(github_mirror: str)
| 78 | |
| 79 | |
| 80 | def parse_github_mirror(github_mirror: str) -> str: |
| 81 | github = environ.get("GITHUB") # custom github mirror, for CN users |
| 82 | if not github: |
| 83 | github = github_mirror |
| 84 | return f"https://{github}" |
| 85 | |
| 86 | |
| 87 | def download_file(url: str, target_path: str): |