Github help (but this seems to show only how to get the download count for a specific file (e.g., .tar.gz) that we must first create separately and upload to Github and then point to it on the Releases page)
[Github release stats](http://www.somsubhra.com/github-release-stats/?username=gc00&repository=github-release-stats “Project for “Github release stats””) (but when I try this on our dmtcp project, it tells me: “There are no releases for this project”; I suppose that’s true, since we didn’t upload specific files to Github)
If I understand the Github Releases tab correctly, it checks for any tags in the Github master branch. Any tags are considered as releases, and the entry on the Releases page includes an automatically packaged .zip or .tar.gz of the commit that the tag points to. But since the .zip/.tar.gz files are apparently generated dynamically, it appears that there is no single, corresponding fixed file, for which Github will record the download count.
Do I understand correctly the issue of counting the number of downloads of a Github release? We are looking into hack-ish solutions, but it seems surprising to me that there is no simple solution out there. Thanks for any help.