Something went wrong. Try again.
This repository has no description
Something went wrong. Try again.
JSON
123456789101112{ "_comment": "Shape only -- every value here is a placeholder. Copy this file to lane.local.json (gitignored) and fill in the lane's real address; never edit this file to hold one. `ssh` is user@host as ssh would take it; `ssh_opts` is prepended to every ssh and rsync call (a ProxyJump and an identity file, typically); `root` is the directory under the lane user's home that holds worktree copies; `git_url` is an anonymous https clone URL for the shared mirror kept at `<root>/.git-mirror` -- leave it empty to have bench/remote-lane.sh derive one from the worktree's own `origin` remote where that conversion is unambiguous. `lanes` is an array of lane entries with these same four fields, one per lane, that bench/lane-writer-launch.sh and bench/lane-writer-fetch.sh pick from by index; with no `lanes` array, the singular fields above count as a one-lane list (index 0), resolved the same way bench/remote-lane.sh already does (environment, then the worktree's .env, then this file).", "ssh": "lane@lane-host", "ssh_opts": "-J jumphost -i ~/.ssh/lane_key", "root": "lanes", "git_url": "", "lanes": [ { "ssh": "lane@lane-host-1", "ssh_opts": "-J jumphost -i ~/.ssh/lane_key", "root": "lanes", "git_url": "" }, { "ssh": "lane@lane-host-2", "ssh_opts": "-J jumphost -i ~/.ssh/lane_key", "root": "lanes", "git_url": "" } ]}