but I think it would make sense if those tags were created in the repository as well. It doesn't need to be exactly those hashes and/or those tags, just something for us to work with. Of course it would be easiest for us if 1295120 became tag 1.0.0, but we can work around other choices, too.
We've been making up our own tags ("fake tags") for fiat so that we can install it properly with spack. So far we have:
and we'd like to add
but I think it would make sense if those tags were created in the repository as well. It doesn't need to be exactly those hashes and/or those tags, just something for us to work with. Of course it would be easiest for us if 1295120 became tag
1.0.0
, but we can work around other choices, too.