[skip changelog] Gather downloads stats from GitHub releases#665

Merged

masci merged 7 commits intomasterfrom

Apr 22, 2020

Commits on Apr 20, 2020

add stats script

Massimiliano Pippi
authored and
masci
committed
send metrics

Massimiliano Pippi
authored and
masci
committed

Commits on Apr 21, 2020

add failure event and comments

Massimiliano Pippi
authored and
masci
committed
confusing languages

Massimiliano Pippi
authored and
masci
committed
testing failures

Massimiliano Pippi
authored and
masci
committed
revert, failures reporting works ok

Massimiliano Pippi
authored and
masci
committed

Commits on Apr 22, 2020

rename file, remove test clause

Massimiliano Pippi
authored and
masci
committed