Skip to content

Label plugins as plugins, and hide skills/apps for given plugin#15279

Merged
canvrno-oai merged 2 commits intomainfrom
canvrno/plugin_mentions_fix
Mar 23, 2026
Merged

Label plugins as plugins, and hide skills/apps for given plugin#15279
canvrno-oai merged 2 commits intomainfrom
canvrno/plugin_mentions_fix

Conversation

@canvrno-oai
Copy link
Copy Markdown
Contributor

@canvrno-oai canvrno-oai commented Mar 20, 2026 •
edited
Loading

  • Duplicate app mentions are now suppressed when they’re plugin-backed with the same display name.
  • Remaining connector mentions now label category as [Plugin] when plugin metadata is present, otherwise [App].
  • Mention result lists are now capped to 8 rows after filtering.
  • Updates both tui and tui_app_server with the same changes.
@canvrno-oai canvrno-oai changed the title Label plugins as plugins, and hide skills/apps for given plugin from Mar 20, 2026
@canvrno-oai canvrno-oai marked this pull request as ready for review March 20, 2026 21:02
@canvrno-oai canvrno-oai force-pushed the canvrno/plugin_mentions_fix branch from 9789fb4 to bb0beef Compare March 21, 2026 17:41
This was referenced Mar 22, 2026
Open
Open
@canvrno-oai canvrno-oai merged commit 5480163 into main Mar 23, 2026
47 of 56 checks passed
@canvrno-oai canvrno-oai deleted the canvrno/plugin_mentions_fix branch March 23, 2026 17:10
@github-actions github-actions bot locked and limited conversation to collaborators Mar 23, 2026
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.

Labels

None yet

2 participants

@canvrno-oai @mzeng-openai