2 Commits (4056be58f323ee813bccf500aa30ebac3bbb263d)

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