I know you can’t remove packages from the general registry (for good reason), but is it possible to remove a package from a local registry that was set up using LocalRegistry.jl?
Yes, but I think you have to manually delete the files for the package, edit Registry.toml
, commit and push the result.
1 Like
Okay, I figured it might be something along those lines. Thanks!