Skip to content

docs(site): sync experiments/proposed.md with docs/ - #36

Merged
ghchinoy merged 1 commit into
mainfrom
docs/sync-proposed
Sep 29, 2026
Merged

ghchinoy merged 1 commit into
mainfrom
docs/sync-proposed

Conversation

@ghchinoy

Copy link
Copy Markdown
Owner

#29 (PROP-17) and #33 (closing PROP-00 and PROP-13) edited docs/experiments/proposed.md without updating docs-site/src/content/docs/experiments/proposed.md. As a result, make docs-sync-check has been failing on main, and the public site showed an older version of the page.

I regenerated the page with scripts/docs_sync_page.py experiments/proposed.md. The diff is exactly those two changes, plus the usual removal of the leading H1 (the site renders the title from front matter).

Checks

  • make docs-sync-check: all 43 pages match
  • scripts/docs_link_check.py: 0 broken links
  • docs-site build: 44 pages
  • make check-public: passed

…3 closures from #33)

Both PRs edited docs/experiments/proposed.md without updating the docs-site
mirror, so make docs-sync-check failed on main. Regenerated with
scripts/docs_sync_page.py; all 43 pages match again.
@ghchinoy
ghchinoy merged commit 3c44a1d into main Sep 29, 2026
3 checks passed
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant