Migrate docs from mkdocs to great-docs - #810

Closed

edavidaja wants to merge 19 commits into

mainfrom

Commits on Jul 1, 2026

docs: add great-docs migration design spec
edavidaja
committed
4c2ff7f
docs: add great-docs migration implementation plan
edavidaja
committed
a20f860
docs: record great-docs spike findings
edavidaja
committed
8c5d2cc
docs: GTM works via include_in_header (spike finding)
edavidaja
committed
45a88f5
feat: parse CHANGELOG.md into per-version release notes
edavidaja
committed
e7279f2
fix: drop unused imports from backfill parser
edavidaja
committed
848ef86
feat: backfill GitHub Release notes from CHANGELOG
edavidaja
committed
7c6920b
refactor: harden backfill gh calls and imports
edavidaja
committed
13c55a1
docs: revise migration plan Tasks 4-8 per spike findings
edavidaja
committed
dec6aa4
build: add great-docs config, drop mkdocs deps
edavidaja
committed
a91790c
docs: correct reference-suppression key to false (Task 4 finding)
edavidaja
committed
9eb3140
docs: migrate narrative pages to great-docs qmd
edavidaja
committed
3e46fca
docs: fold nav-order + comment cleanup into plan Task 6
edavidaja
committed
22efc2f
docs: port Posit branding, GTM, and User Guide order to great-docs
edavidaja
committed
110b86d
docs: Task 8 removes inert assets/custom.css
edavidaja
committed
d95ada3
build: run docs via great-docs in CI and just recipes
edavidaja
committed
a7ce4ba
fix: upload docs artifact from great-docs/_site
edavidaja
committed
3efcef9
build: remove mkdocs toolchain, update CLAUDE.md
edavidaja
committed
7ae1dcb
fmt
edavidaja
committed
dca35ba