halos-org/signalk-server-docker was created on 2026-08-06 and is absent from both places the workspace tracks member repos:
- the Structure tree in
AGENTS.md (which does list opencpn-docker, the org's other image repo)
- the
REPOS map in run, which drives clone-repos, pull-all-main and show-status
Consequence: a fresh ./run clone-repos does not fetch it, and pull-all-main never updates it. Anyone onboarding gets a workspace missing the repo that builds the marine Signal K image.
Suggested entries:
AGENTS.md Structure tree: signalk-server-docker/ # Signal K server image with the curated plugin set baked inrun REPOS: ["signalk-server-docker"]="git@github.com:halos-org/signalk-server-docker.git main"
Found during review of halos-org/signalk-server-docker#1. Pre-existing relative to that PR, so filed rather than folded in.
halos-org/signalk-server-dockerwas created on 2026-08-06 and is absent from both places the workspace tracks member repos:AGENTS.md(which does listopencpn-docker, the org's other image repo)REPOSmap inrun, which drivesclone-repos,pull-all-mainandshow-statusConsequence: a fresh
./run clone-reposdoes not fetch it, andpull-all-mainnever updates it. Anyone onboarding gets a workspace missing the repo that builds the marine Signal K image.Suggested entries:
AGENTS.mdStructure tree:signalk-server-docker/ # Signal K server image with the curated plugin set baked inrunREPOS:["signalk-server-docker"]="git@github.com:halos-org/signalk-server-docker.git main"Found during review of halos-org/signalk-server-docker#1. Pre-existing relative to that PR, so filed rather than folded in.