Renaming unregistered package

General Usage
1

I’m trying to rename an unregistered package. I changed the name in my git repository (Github) as appropriate, including within the Project.toml. I removed the old package with

] rm OLDNAME

and then

] add NEWPACKAGE_GITHUB_ADDRESS

but now I’m getting the following error if I try to dev the new package

ERROR: The following package names could not be resolved:
 * ReactionNetworkImporter (3905eab2-f8c3-11e8-1e0c-9f35f29e76ae in manifest but not in project)
Please specify by known `name=uuid`.

How can I cleanly get the package renamed? Is my only option to just generate a new package with the desired name and copy the code over into it?

Thanks!

Edit: Fixed loading the package, so the issue now is just that I can’t seem to use dev.

2

In case someone else encounters this issue, I fixed this by just doing

dev NEWPACKAGE_GITHUB_ADDRESS