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)
committerJo-Philipp Wich <jo@mein.io>
Tue, 18 Dec 2018 16:32:19 +0000 (17:32 +0100)
commit3868cb82443f21819718eb429b4acfb86f96a6de
tree60e66634052d97732cc585f90bf1bf54d44306d6
parentbfde9705ffa82accd8627fe1edc23d2c09022544
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>
(backported from 6e3c2d757a5745dee5cce0b53175b56ad3621d73)
scripts/download.py