Pull Strategy Updates
keel_strategy_pullFetch server HEAD into your local strategy copy, blocking when uncommitted local edits would be lost. Push local work first, or pass force=True to overwrite it.
Instructions
Re-fetch the server HEAD into the local working copy — the 'git pull' of the sync model. Refuses when local has uncommitted changes (diverged) so you don't silently lose work; push first, or pass force=True to overwrite local (LOSES local edits). Use it when someone else — a teammate, the web editor, a fork, a restore — may have moved the strategy while you were working locally; check keel_strategy_status first to see whether a pull is even needed. Do NOT use to send local edits UP — call keel_strategy_push. Do NOT use to inspect what changed — call keel_strategy_history.
Tool call template
This tool declares no required parameters. Add optional parameters from the input schema as needed.
{
"id": 1,
"jsonrpc": "2.0",
"method": "tools/call",
"params": {
"arguments": {},
"name": "keel_strategy_pull"
}
}Input Schema
| Name | Required | Description | Default |
|---|---|---|---|
| force | No | Overwrite local changes with server HEAD. LOSES local edits — only use after explicit confirmation. | |
| strategy_id | No | Strategy to pull. Auto-detected from workspace if omitted. |
Output Schema
| Name | Required | Description | Default |
|---|---|---|---|
| result | Yes |