2 Commits (82dbcd8bf2b472a962aa002d9c5cc2542608035a)

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