Yousong Zhou 6e3c2d757a 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>
2018-06-27 15:32:01 +08:00
..
2018-03-18 22:22:38 +01:00
2015-11-02 18:12:45 +00:00
2015-11-02 18:12:45 +00:00
2015-10-07 10:51:18 +00:00
env
2018-05-05 09:44:43 +02:00
2016-03-24 22:40:13 +01:00