Skip to content
This repository has been archived by the owner on Sep 17, 2024. It is now read-only.

Storage pruning #62

Closed
kirillt opened this issue May 15, 2023 · 1 comment
Closed

Storage pruning #62

kirillt opened this issue May 15, 2023 · 1 comment
Labels
enhancement New feature or request

Comments

@kirillt
Copy link
Member

kirillt commented May 15, 2023

If any of resources were removed, values in storages associated with them should be cleaned up.

This should be optional and decidable by an app, probably the app would have a preference for this behavior.

@kirillt kirillt added the enhancement New feature or request label May 15, 2023
@kirillt
Copy link
Member Author

kirillt commented Nov 18, 2023

Superseded by #122

@kirillt kirillt closed this as completed Nov 18, 2023
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.
Labels
enhancement New feature or request
Projects
None yet
Development

No branches or pull requests

1 participant