The current spacetime rename command just adds a new name for the DB, but doesn't remove the old one.
@cloutiertyler says:
There is an API to actually change the name
It's new-ish, but it is in use in the website
So we should use that in the CLI as well.
The current
spacetime renamecommand just adds a new name for the DB, but doesn't remove the old one.@cloutiertyler says:
So we should use that in the CLI as well.