Skip to content

AGENTS.md: cut history from comments rather than labelling it in place - #723

Closed
willhea wants to merge 1 commit into
developfrom
agents-comment-policy
Closed

willhea wants to merge 1 commit into
developfrom
agents-comment-policy

Commits

Commits on Sep 11, 2026