2 Commits (d745eac636f017d8a6ac2091746c985fcd8d2851)

Author SHA1 Message Date
Yousong Zhou ac10975cd7 scripts/dl_github_archive.py: stringify exception 6 years ago
Yousong Zhou 04b9f85873 scripts/dl_github_archive.py: rename from download.py 6 years ago
Yousong Zhou 6e3c2d757a scripts/download.py: use a more terse api for fetching git commit date 6 years ago
Yousong Zhou 75ab064d2b build: download code from github using archive API 6 years ago