Skip to content

docs: move the documentation site to craftbot-live - #428

Merged
korivi-CraftOS merged 1 commit into
mainfrom
docs/move-mkdocs-to-craftbot-live
Aug 20, 2026
Merged

korivi-CraftOS merged 1 commit into
mainfrom
docs/move-mkdocs-to-craftbot-live

Conversation

@korivi-CraftOS

Copy link
Copy Markdown
Collaborator

The mkdocs source moves to CraftOS-dev/craftbot-live, where the rest of the product's web presence lives. Nothing in this repo referenced mkdocs/: no workflow built it, no script or spec pulled from it, and no file outside the directory linked into it, so the removal is self-contained.

The one coupling ran the other way. mkdocs.yml generated its default-actions page by parsing the @action(...) decorators in app/data/action/. That generator moved with the docs and now runs on demand against a checkout of this repo, so the catalogue still comes from these decorators and stays refreshable after actions change here.

The mkdocs source moves to CraftOS-dev/craftbot-live, where the rest of the
product's web presence lives. Nothing in this repo referenced mkdocs/: no
workflow built it, no script or spec pulled from it, and no file outside the
directory linked into it, so the removal is self-contained.

The one coupling ran the other way. mkdocs.yml generated its default-actions
page by parsing the @action(...) decorators in app/data/action/. That
generator moved with the docs and now runs on demand against a checkout of
this repo, so the catalogue still comes from these decorators and stays
refreshable after actions change here.
@korivi-CraftOS
korivi-CraftOS merged commit 024545b into main Aug 20, 2026
@korivi-CraftOS
korivi-CraftOS deleted the docs/move-mkdocs-to-craftbot-live branch August 20, 2026 06:26
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