unpin
Delete a ranking pin by providing the symbol ID or file path. The tool confirms removal with a success response.
Instructions
Remove a ranking pin by target. Pass either symbol_id (for a pinned symbol) or file_path (for a pinned file). At least one is required. Returns JSON: { ok, deleted }.
Input Schema
| Name | Required | Description | Default |
|---|---|---|---|
| file_path | No | File path of the pin to remove | |
| symbol_id | No | Symbol FQN of the pin to remove |