It would make sense to remove Release.zip from the repository, add it as a release (tagged to the last commit represented in the release), and point users to the Releases page in the README.
I am willing to do this for you if you would like. Just let me know what version number you want associated with it (v0.1.0?).
GitHub now has releases: https://github.com/plasma-umass/DataDebug/releases
It would make sense to remove
Release.zip
from the repository, add it as a release (tagged to the last commit represented in the release), and point users to the Releases page in the README.I am willing to do this for you if you would like. Just let me know what version number you want associated with it (
v0.1.0
?).