Comment by 0x0

Are they pushing a commit to github every time someone downloads something, or is this download_counter something else? https://github.com/AdoptOpenJDK/openjdk10-releases/commit/44...