Skip to content

Latest commit

 

History

History

0_AVOID_GITHUB_ZIP_FILES

Folders and files

NameName
Last commit message
Last commit date

parent directory

..
 
 

Github "Download ZIP" button is not supported

Please use git clone instead.

The "Download ZIP" button on Github has the problem that the archive does not contain Git metadata (.git directory) which is needed by OVIS when figuring out the version number.

Others have asked GitHub for a way to disable the zip portion of this button without result. (see also project rose-compiler/rose for details.)

This README lives in a directory whose name causes it to appear as close as possible to the "Download ZIP" button in the GitHub web interface.