Would it be possible to have an officially tagged release version? The motivation for this is it would allow for easier integration into other build systems, e.g., easy_build as referring to master.zip floats with commits, and github checkouts are less elegant than an official zip release
dbaston
commented
11 months ago
Would it be possible to have an officially tagged release version? The motivation for this is it would allow for easier integration into other build systems, e.g., easy_build as referring to
master.zipfloats with commits, and github checkouts are less elegant than an official zip release