3 Commits (7db09853a83b2feaf2604e4fcc074100be377280)

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