Deregister package from local registry

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!