plugins/treesitter-playground: move removal notice to plugins/depression.nix
#2184
Add this suggestion to a batch that can be applied as a single commit.
This suggestion is invalid because no changes were made to the code.
Suggestions cannot be applied while the pull request is closed.
Suggestions cannot be applied while viewing a subset of changes.
Only one suggestion per line can be applied in a batch.
Add this suggestion to a batch that can be applied as a single commit.
Applying suggestions on deleted lines is not supported.
You must change the existing code in this line in order to create a valid suggestion.
Outdated suggestions cannot be applied.
This suggestion has been applied or marked resolved.
Suggestions cannot be applied from pending reviews.
Suggestions cannot be applied on multi-line comments.
Suggestions cannot be applied while the pull request is queued to merge.
Suggestion cannot be applied right now. Please check back later.
I noticed in #2164 that treesitter-playground exists as a plugin module, but is just a removal notice.
That's fine and great, however it doesn't make sense in the context of
plugins/by-name
IMO.I think it makes logical sense to keep it in the treesitter plugin? However, it may be useful to have a "top-level" plugins deprecations file where removed plugins can be listed in a common location. I could revise this PR to do that, if desired.
I'm thinking something like
plugins/deprecation.nix
: