scripts/download.py: use a more terse api for fetching git commit date
authorYousong Zhou <yszhou4tech@gmail.com>
Wed, 27 Jun 2018 07:20:21 +0000 (15:20 +0800)
committerYousong Zhou <yszhou4tech@gmail.com>
Wed, 27 Jun 2018 07:32:01 +0000 (15:32 +0800)
commit6e3c2d757a5745dee5cce0b53175b56ad3621d73
treee61c4a459fb0127bae40c5e89f8a2bc908420a16
parent0efd0308a0927e446e1f8535c1e244e5ed3193b3
scripts/download.py: use a more terse api for fetching git commit date

The previous api [1] includes in its response patch data among other
things, as such the response size can vary and be big.  Use another
api[2] to improve it a bit

 [1] Get a single commit, Repositories, https://developer.github.com/v3/repos/commits/#get-a-single-commit
 [2] Git Commits, Git Data, https://developer.github.com/v3/git/commits/#get-a-commit

Signed-off-by: Yousong Zhou <yszhou4tech@gmail.com>
scripts/download.py