Closed NathanReb closed 2 years ago
Including the duniverse in the tarball could easily be delegated to dune-release
, the rest is slightly more involved and we'd have to think about it a bit more.
If we ever end up with a proper solution to install binaries and we don't have to build with several compilers, we could release the lock file instead. We might want to work on the lock file format a bit so that it can be released but that should not cause too much trouble!
I think it feels more complicated than it actually is. In the end you just have to edit 2 files and revert the commit afterwards. Looking at previous pre-release commits helps a bit.