Refresh Repo
pharaoh_manage_repoQueue a re-map of a repository's knowledge graph when it looks out of date, optionally rebuilding the full graph instead of a delta refresh.
Instructions
Re-map a repo now. Every repo is mapped during the trial and on Pro, and re-maps on every push.
• refresh_repo { repo, full? }: queue a re-map of one repo. • set_free_repo { repo }: retired; it changes nothing, since there is no live repo to choose.
CALL THIS WHEN: • A repo's graph looks out of date, or needs a full rebuild
RETURNS: The queued job.
Tool call template
Replace each placeholder with a value matching the input schema. Only required parameters are included; add optional parameters as needed.
{
"id": 1,
"jsonrpc": "2.0",
"method": "tools/call",
"params": {
"arguments": {
"action": "<action>",
"repo": "<repo>"
},
"name": "pharaoh_manage_repo"
}
}Input Schema
| Name | Required | Description | Default |
|---|---|---|---|
| full | No | refresh_repo only: rebuild the whole graph instead of a delta refresh | |
| repo | Yes | Repo slug (owner/repo) or repo name | |
| action | Yes | Which change to make |