Skip to content

Conversation

@OpeOginni
Copy link
Contributor

@OpeOginni OpeOginni commented Jan 12, 2026

What does this PR do?

Closes #8071

Allows users to delete servers from server list.

Also works on the useFilteredList, to properly track changes in items array in a list. Had an issue where the server is deleted from the store but it is still rendered in the list, until a complete remount of the dialog. The update the use-filtered-list.tsx, fixes that in any other place where lists are used and needed to react to changes in the passed in array of items.

How did you verify your code works?

Ran on my dev server and tested.

Screen.Recording.2026-01-12.at.22.16.24.mov

@github-actions
Copy link
Contributor

Thanks for your contribution!

This PR doesn't have a linked issue. All PRs must reference an existing issue.

Please:

  1. Open an issue describing the bug/feature (if one doesn't exist)
  2. Add Fixes #<number> or Closes #<number> to this PR description

See CONTRIBUTING.md for details.

@github-actions
Copy link
Contributor

The following comment was made by an LLM, it may be inaccurate:

No duplicate PRs found

@OpeOginni OpeOginni marked this pull request as ready for review January 12, 2026 21:24
@adamdotdevin adamdotdevin merged commit b3a1360 into anomalyco:dev Jan 12, 2026
5 checks passed
@OpeOginni OpeOginni deleted the feat/delete-stored-server-url branch January 12, 2026 21:31
sauerdaniel pushed a commit to sauerdaniel/opencode that referenced this pull request Jan 13, 2026
dl-alexandre pushed a commit to dl-alexandre/opencode that referenced this pull request Jan 13, 2026
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.

[FEATURE]: Delete Unused Servers for Server List

2 participants