Migrate documentation to Great Docs - #282

Merged

uriahf merged 17 commits into

mainfrom

agent/great-docs-migration

Aug 10, 2026

Commits on Aug 10, 2026

Add Great Docs configuration
uriahf
committed
98d8a76
Migrate getting-started guide to Great Docs
uriahf
committed
d2e2511
Add Great Docs build and deployment workflow
uriahf
committed
368c89b
Use a dedicated Great Docs dependency group
uriahf
committed
c476a87
Separate package CI from documentation publishing
uriahf
committed
5eb2930
Publish Great Docs with live PR previews
uriahf
committed
a7bdbcd
Configure Great Docs GitHub integration
uriahf
committed
916760c
Ignore Great Docs build output
uriahf
committed
af2ab92
Constrain Great Docs dependency group to Python 3.11+
uriahf
committed
ddf08f1
Expand Great Docs API coverage
uriahf
committed
d7ab6d1
Improve summary report documentation
uriahf
committed
01b8e41
Update contributor docs for Great Docs
uriahf
committed
ebc20b1
Point README to Great Docs site
uriahf
committed
f36595a
Complete Great Docs migration
uriahf
committed
fc08063
Restore valid lockfile
uriahf
committed
a014516
Style Great Docs to match rtichoke blog
uriahf
committed
e76eab5
Use the blog heading font in Great Docs
uriahf
committed
e594606