Closed siddhartha-gadgil closed 6 years ago
Note that "git ls-tree" will help find a file with the release.
May be better to move files to a purged directory: will slow down cloning but is otherwise easier to handle.
purged