DERA Platform Documentation

Federated documentation portal sourcing /docs/ from main of every platform repo.

Repositories

Repo	What it owns
Backend	Mission Control services (gateway, sites, control, OTA app + OS planes) on Azure Container Apps
Dashboard	Operator-facing Next.js console proxying through the gateway
Edge	Sol-Ark gateway and other edge-side services running on Perseverance
Edge-OS	Yocto OS, OTA delivery, device provisioning

How this works

Each repo's /docs/ tree is pulled in at build time by mkdocs-multirepo-plugin and served under its own section. The portal rebuilds:

• on push to main of ce-dp/docs
• daily at 03:00 UTC (catches changes in child repos)
• on demand via gh workflow run deploy.yml --repo ce-dp/docs

Edit docs in the source repo, merge to main, wait for the next build (or kick the manual trigger).

Access

Private site, gated to @cedera.io Entra tenant users.