We should migrate other crates that depend tightly on decaf377, namely decaf377-rdsa and decaf377-ka into this repository, creating a new workspace.
This would have avoided the need to use git tags recently when shuffling stuff around, and the need to duplicate CI code between the places. These crates will remain tightly coupled for the foreseeable future, so a workspace is sensible.
We should migrate other crates that depend tightly on decaf377, namely decaf377-rdsa and decaf377-ka into this repository, creating a new workspace.
This would have avoided the need to use git tags recently when shuffling stuff around, and the need to duplicate CI code between the places. These crates will remain tightly coupled for the foreseeable future, so a workspace is sensible.