Deregister package from local registry

Tooling Package Management
1

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?

2

Yes, but I think you have to manually delete the files for the package, edit Registry.toml, commit and push the result.

1 Like
3

Okay, I figured it might be something along those lines. Thanks!

4

I opened a PR Describe how to remove a registered package by mzaffalon · Pull Request #70 · GunnarFarneback/LocalRegistry.jl · GitHub. I hope you don’t mind me using your wordings.