vhaudiquet
c1779c2423
watch_repo, unwatch_repo, and list_watches load their specs from embedded manifests under crates/rhema-claw/tools; the Rust side keeps only the invoke half. The manifests stay name-sorted, which is the order the registry serves and the roster shows. list_watches declares replay_safety: safe - re-reading the table on a resumed run is free - and the drift tests pin the shipped set: every manifest loads against its builtin, every builtin is named by a manifest, and replay safety reaches the resolver from the file.
19 lines
510 B
YAML
19 lines
510 B
YAML
# The model-facing spec of the unwatch_repo tool; the operation is the
|
|
# compiled builtin named under `run`.
|
|
name: unwatch_repo
|
|
description: >-
|
|
Stop watching a repository: no more activity arrives from it. Same
|
|
`forge` and `repo` spelling as `watch_repo`.
|
|
parameters:
|
|
type: object
|
|
properties:
|
|
forge:
|
|
type: string
|
|
description: github, gitea, or gitlab.
|
|
repo:
|
|
type: string
|
|
description: The repository as owner/name.
|
|
required: [forge, repo]
|
|
run:
|
|
builtin: watch.unwatch
|