Skip to content

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

Merged
ptr727 merged 2 commits into
mainfrom
develop
Aug 8, 2026
Merged

Promote develop to main: robots.txt, and the log pull recorded as installed#61
ptr727 merged 2 commits into
mainfrom
develop

Emit robots.txt, and gate the base URL it is derived from (#60)

884c50f
Select commit
Loading
Failed to load commit list.

Select a check to view from the sidebar