Skip to content

Conversation

@mzaffalon
Copy link
Contributor

@GunnarFarneback
Copy link
Owner

This is ok to document but it shouldn't be something done frequently so I'd rather have it on a subpage linked from Advanced Topics.

@mzaffalon
Copy link
Contributor Author

mzaffalon commented Mar 10, 2023

What about leaving where it is and saying that this is not done frequently? The text is short and Advanced Topics have each a separate page. Or maybe moving it after Simplified Registration of Active Package or Current Directory?

@goerz
Copy link

goerz commented Mar 10, 2023

On a local registry, maybe deleting a package is not quite so uncommon: I use a local registry for any package I'm developing that's not yet in General, but then later on when it's registered in General, I'll delete it from the local registry.

@GunnarFarneback
Copy link
Owner

Yes, there are valid reasons to remove packages and you may of course do whatever you want with your own registry, but I won't document it on the front page.

@mzaffalon
Copy link
Contributor Author

I pushed a new change as you requested.

@GunnarFarneback GunnarFarneback merged commit 1c59cf0 into GunnarFarneback:master Mar 12, 2023
@GunnarFarneback
Copy link
Owner

Thanks.

@mzaffalon
Copy link
Contributor Author

And thank you for the useful package.

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

3 participants