register_repo
Registers a local repository in the user-level registry so cross_repo_snapshot can include it, verifying the path is an existing directory with .git.
Instructions
Adds a repository to the user-level registry at ~/.veris/registry.json so cross_repo_snapshot includes it. The path must exist, be a directory, and contain a .git directory. Setup-time call, typically run once per repository.
Input Schema
| Name | Required | Description | Default |
|---|---|---|---|
| name | Yes | Human-readable name shown in snapshots. | |
| path | Yes | Absolute path to the repository root. | |
| tags | No | Optional grouping tags, e.g. ['prod','checkout']. |