Promote develop to main: CI, public readiness, and the 1.0 release notes - #7

Merged

ptr727 merged 7 commits into

mainfrom

Aug 1, 2026

Commits on Aug 1, 2026

Record the post-standup audit and prune the completed backlog (#2)

ptr727
and
claude
authored
ef4e08f
Add the 1.0 release notes to README and HISTORY (#3)

ptr727
and
claude
authored
efbafe8
Carry the merge bot so Dependabot pull requests can merge (#4)

ptr727
and
claude
authored
91a039b
Document the local verification loop for content and server changes (#5)

ptr727
and
claude
authored
3e6e2b1
Record the container appdata path and re-derive the redirect table (#6)

ptr727
and
claude
authored
4fd96d8
Retire the R numbering that the matcher rename orphaned (#8)

ptr727
and
claude
authored
407219c
Reconcile the two documented forms of the release command (#9)

ptr727
and
claude
authored
4540d22