Skip to content

fix(skill-sets): clean up cached repo and enabled sets on source delete#231

Merged
LeeCheneler merged 1 commit intomainfrom
fix/cleanup-source-on-delete
Mar 29, 2026
Merged

fix(skill-sets): clean up cached repo and enabled sets on source delete#231
LeeCheneler merged 1 commit intomainfrom
fix/cleanup-source-on-delete

Conversation

@LeeCheneler
Copy link
Copy Markdown
Owner

Summary

When deleting a skill set source from Manage Sources, clean up the cloned repo from disk and remove any enabled skill sets belonging to that source from config.

What Changed

Added removeSource() to delete the cached clone directory. The sources editor now calls it on delete and also filters out enabledSkillSets entries matching the deleted source URL. Unit tests added for removeSource and the editor's cleanup behaviour.

Remove the cloned repo from disk and any enabled skill sets belonging
to the source when a source is deleted from Manage Sources.
@github-actions github-actions Bot added the fix Bug fix label Mar 29, 2026
@LeeCheneler LeeCheneler merged commit 634cbf8 into main Mar 29, 2026
4 checks passed
@LeeCheneler LeeCheneler deleted the fix/cleanup-source-on-delete branch March 29, 2026 18:05
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

fix Bug fix

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant