Promote develop to main: robots.txt, and the log pull recorded as installed - #61

Merged

ptr727 merged 2 commits into

mainfrom

Aug 8, 2026

Commits on Aug 8, 2026

Record the log pull as installed, and the rename it does not carry (#58)
ptr727
and
claude
authored
6689e56
Emit robots.txt, and gate the base URL it is derived from (#60)
ptr727
and
claude
authored
884c50f