reload_registry
Force reload the registry from its source (GitHub or local path). Clears cache and returns diff of added, removed, and modified entries after a marketplace update.
Instructions
Force reload the registry from its source (GitHub or local path).
Clears the in-memory cache and re-fetches all entries. Use after a marketplace update (git pull / new commit) to get fresh data without restarting the server.
Returns a diff vs the previous state:
added: entry IDs new in this reload
removed: entry IDs no longer present
modified: entry IDs whose plugin_version changed
total: total number of entries after reload
Input Schema
| Name | Required | Description | Default |
|---|---|---|---|
No arguments | |||
Output Schema
| Name | Required | Description | Default |
|---|---|---|---|
No arguments | |||