Releases on GitHub are identified by id, not by tag name. So we need a way
to update the list of tag name <-> id correspondences.
Signed-off-by: Johannes Schindelin <johannes.schindelin@gmx.de>
This trick was performed by paste-editing the output of
curl -s https://api.github.com/repos/git-for-windows/git/releases |
tac |
sed -n '/^ "tag_name":/{
N;
s/.*"tag_name": "\([^"]*\)"[^"]*"id": \([0-9]*\).*/# \1\nid=${1:-\2}/p
}'
Signed-off-by: Johannes Schindelin <johannes.schindelin@gmx.de>
This developer was curious to know how many people actually downloaded
the Git for Windows 2.x developer preview releases, and this script
tells the answer to said question.
Signed-off-by: Johannes Schindelin <johannes.schindelin@gmx.de>
Johannes Schindelin